Coq


Total Packages: 36

Popular Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.8 - Updated - 686 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 157 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 157 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20221108115745 - Updated - 157 stars
abstract_integers
Defining specification-friendly bounded natural integer types
Latest release 0.1.5 - Updated - 188 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 - 346 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.8 - Updated - 686 stars
linearscan
Latest release 1.0.0 - Updated - 17 stars
abstract_integers
Defining specification-friendly bounded natural integer types
Latest release 0.1.5 - Updated - 188 stars
secret_integers
Wrapping around Rust's integers to allow only constant-time operations
Latest release 0.1.7 - Updated - 188 stars
zarpy
Formally verified biased coin and n-sided die
Latest release 1.0.1 - Updated - 3 stars

Most Depended upon Coq Packages

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.2.8 - Updated - 686 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 157 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 157 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 157 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20221108115745 - Updated - 157 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