Coq


Total Packages: 38


Popular Coq Packages See more »

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

New Coq Packages See more »

rem-verification
Verification tool for the REM toolchain. Built to be implemented into the VSCode extension for RE...
Latest release 0.1.0 - Published
github.com/gustavo-depaula/stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Latest release v0.0.0-20250113174721-e1681b88602b - Published - 1.56K stars
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 - 57 stars
math-comp
Mathematical Components for the Coq proof assistant
Latest release 1.12.0 - Published - 589 stars

Updated Coq Packages See more »

github.com/mit-plv/fiat-crypto/fiat-go
Cryptographic Primitive Code Generation by Fiat
Latest release v0.0.0-20250216232709-1c166e0686a8 - Updated - 738 stars
fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.9 - Updated - 738 stars
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.core
Generic protocol version negotiation (Core)
Latest release 1.0.0 - Updated
com.io7m.genevan:com.io7m.genevan
Generic protocol version negotiation
Latest release 1.0.0 - Updated

Most Depended upon Coq Packages

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.9 - Updated - 738 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 161 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 161 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 161 stars
com.io7m.genevan:com.io7m.genevan.core
Generic protocol version negotiation (Core)
Latest release 1.0.0 - Updated

Top Coq Licenses

Apache-2.0 20 projects

MIT 11 projects

BSD-3-Clause 5 projects

ISC 3 projects

BSD-1-Clause 1 project

Top Coq Package Managers

npm 12 projects

Cargo 8 projects

Hackage 7 projects

Maven 3 projects

PyPI 3 projects

Go 2 projects

Homebrew 2 projects

NuGet 1 project