Coq


Total Packages: 36

Popular Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.9 - Updated - 715 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20221108115745 - Updated - 158 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 158 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 158 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 158 stars

New Coq Packages See more »

hacspec-lib
The hacspec library.
Latest release 0.1.0-beta.1 - Published - 188 stars
qcert-runtime-wasm
The Q*cert compiler WASM runtime
Latest release 3.0.0-alpha.5 - Published - 50 stars
math-comp
Mathematical Components for the Coq proof assistant
Latest release 1.12.0 - Published - 588 stars
hacspec-attributes
hacspec attributes
Latest release 0.1.0-beta.1 - Published - 188 stars
hacspec-util
hacspec utilities
Latest release 0.1.0-beta.1 - Published - 188 stars

Updated Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.9 - Updated - 715 stars
com.io7m.genevan:com.io7m.genevan.core
Generic protocol version negotiation (Core)
Latest release 1.0.0 - Updated
com.io7m.genevan:com.io7m.genevan.tests
Generic protocol version negotiation (Test suite)
Latest release 1.0.0 - Updated
com.io7m.genevan:com.io7m.genevan
Generic protocol version negotiation
Latest release 1.0.0 - Updated
linearscan
Latest release 1.0.0 - Updated - 17 stars

Most Depended upon Coq Packages

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.9 - Updated - 715 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 158 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 158 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 158 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20221108115745 - Updated - 158 stars

Top Coq Licenses

Apache-2.0 20 projects

MIT 9 projects

BSD-3-Clause 5 projects

ISC 3 projects

BSD-1-Clause 1 project

Top Coq Package Managers

npm 12 projects

Cargo 7 projects

Hackage 7 projects

Maven 3 projects

PyPI 3 projects

Homebrew 2 projects

Go 1 project

NuGet 1 project