Coq


Total Packages: 29

Popular Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.13 - Updated - 450 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20220427141959 - Updated - 133 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20220427141959 - Updated - 133 stars
qcert
The Q*cert compiler
Latest release 3.0.0-alpha.5 - Updated - 48 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20220427141959 - Updated - 133 stars

New Coq Packages See more »

qcert-runtime-wasm
The Q*cert compiler WASM runtime
Latest release 3.0.0-alpha.5 - Published - 48 stars
math-comp
Mathematical Components for the Coq proof assistant
Latest release 1.12.0 - Published - 342 stars
flp
Please see the README on GitHub at https://github.com/cronburg/flp#readme
Latest release - Published - 6 stars
flp-compiler
Floorplan, a memory layout specification language, compiler binding for Rust.
Latest release 0.1.0 - Published - 6 stars
flp-framework
Floorplan, a memory layout specification language, code-generation necessities.
Latest release 0.1.0 - Published - 6 stars

Updated Coq Packages See more »

qcert
The Q*cert compiler
Latest release 3.0.0-alpha.5 - Updated - 48 stars
qcert-runtime-js
The Q*cert compiler JavaScript runtime
Latest release 3.0.0-alpha.5 - Updated - 48 stars
qcert-compiler
The Q*cert compiler API
Latest release 3.0.0-alpha.5 - Updated - 48 stars
qcert-cli
The Q*cert compiler
Latest release 3.0.0-alpha.4 - Updated - 48 stars
@accordproject/ergo-cli
Ergo CLI
Latest release 0.23.1-20220427141959 - Updated - 133 stars

Most Depended upon Coq Packages

@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20220427141959 - Updated - 133 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 133 stars
fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.13 - Updated - 450 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20220427141959 - Updated - 133 stars
jura-engine
Jura Engine
Latest release 0.0.32 - Updated - 133 stars

Top Coq Licenses

Apache-2.0 14 projects

MIT 8 projects

BSD-3-Clause 4 projects

BSD-1-Clause 1 project

Top Coq Package Managers

npm 12 projects

Hackage 7 projects

Cargo 3 projects

Homebrew 2 projects

PyPI 2 projects

Go 1 project

NuGet 1 project

Top Coq Keywords

verification 11 projects

language 8 projects

accord-project 7 projects

blockchain 7 projects

corda 7 projects

digital-asset 7 projects

ergo 7 projects

ergo-compiler 7 projects

ethereum 7 projects

hacktoberfest 7 projects