Coq


Total Packages: 37

Popular Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.3.0 - Updated - 763 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
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
hacspec-attributes
hacspec attributes
Latest release 0.1.0-beta.1 - Published - 188 stars

Updated Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.3.0 - Updated - 763 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
linearscan
Latest release 1.0.0 - Updated - 17 stars

Most Depended upon Coq Packages

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.3.0 - Updated - 763 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 19 projects

MIT 10 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

Homebrew 2 projects

Go 1 project

NuGet 1 project