Coq


Total Packages: 39

Popular Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.20 - Updated - 550 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 151 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 151 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.23.1-20221108115745 - Updated - 151 stars
secret_integers
Wrapping around Rust's integers to allow only constant-time operations
Latest release 0.1.7 - Updated - 187 stars

New Coq Packages See more »

hacspec-lib
The hacspec library.
Latest release 0.1.0-beta.1 - Published - 187 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 - 344 stars
hacspec-attributes
hacspec attributes
Latest release 0.1.0-beta.1 - Published - 187 stars
hacspec-util
hacspec utilities
Latest release 0.1.0-beta.1 - Published - 187 stars

Updated Coq Packages See more »

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.20 - Updated - 550 stars
abstract_integers
Defining specification-friendly bounded natural integer types
Latest release 0.1.5 - Updated - 187 stars
secret_integers
Wrapping around Rust's integers to allow only constant-time operations
Latest release 0.1.7 - Updated - 187 stars
wise-se
A Python re-implementation of the proven-correct symbolic executor WiSE
Latest release 0.0.5 - Updated - 7 stars
zarpy
Formally verified biased coin and n-sided die
Latest release 0.9.1 - Updated - 2 stars

Most Depended upon Coq Packages

fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.20 - Updated - 550 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.23.1-20221108115745 - Updated - 151 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 151 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.23.1-20221108115745 - Updated - 151 stars
secret_integers
Wrapping around Rust's integers to allow only constant-time operations
Latest release 0.1.7 - Updated - 187 stars

Top Coq Licenses

Apache-2.0 20 projects

MIT 12 projects

BSD-3-Clause 4 projects

ISC 3 projects

BSD-1-Clause 1 project

Top Coq Package Managers

npm 12 projects

Cargo 9 projects

Hackage 7 projects

PyPI 4 projects

Maven 3 projects

Homebrew 2 projects

Go 1 project

NuGet 1 project