Coq


Total Packages: 21

Popular Coq Packages See more »

jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 40 stars
qcert
The Q*cert compiler
Latest release 1.1.0 - Updated - 29 stars
jura-cli
Jura CLI
Latest release 0.0.32 - Updated - 40 stars
jura-engine
Jura Engine
Latest release 0.0.32 - Updated - 40 stars
RepLib
Generic programming library providing structural polymorphism and other features.
Latest release 0.5.4.1 - Updated - 27 stars

New Coq Packages See more »

profunctor-monad
Applicative and monadic interface for bidirectional programming.
Latest release 0.1.0.0 - Published - 16 stars
asciiimage
Work with images made of ASCII text.
Latest release 0.0 - Published
urn-random
This package implements urns, which are a simple tree-based data structure that supports sampling...
Latest release 0.1.0.0 - Published - 5 stars
github.com/zuqqhi2/samples/jubatus/gender-golang
for myself
Latest release - Published
github.com/zuqqhi2/samples/go/rapi
for myself
Latest release - Published

Updated Coq Packages See more »

@accordproject/ergo-test
Ergo Test
Latest release 0.7.4-20190326193746 - Updated - 40 stars
unbound
Specify the binding structure of your data type with an expressive set of type combinators, and U...
Latest release 0.5.1.1 - Updated - 27 stars
RepLib
Generic programming library providing structural polymorphism and other features.
Latest release 0.5.4.1 - Updated - 27 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.0.66 - Updated - 40 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.0.45 - Updated - 40 stars

Most Used Coq Packages

@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.0.66 - Updated - 40 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.0.45 - Updated - 40 stars
PyTurbSim
Python implementation of TurbSim
Latest release 0.4.7 - Updated - 1 stars
unbound
Specify the binding structure of your data type with an expressive set of type combinators, and U...
Latest release 0.5.1.1 - Updated - 27 stars
RepLib
Generic programming library providing structural polymorphism and other features.
Latest release 0.5.4.1 - Updated - 27 stars

Most Depended upon Coq Packages

jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 40 stars
jura-engine
Jura Engine
Latest release 0.0.32 - Updated - 40 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.0.66 - Updated - 40 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.0.45 - Updated - 40 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.7.4-20190326193746 - Updated - 40 stars

Top Coq Licenses

Apache-2.0 8 projects

BSD-3-Clause 4 projects

MIT 3 projects

Top Coq Package Managers

npm 8 projects

Hackage 6 projects

Go 4 projects

PyPI 2 projects

Homebrew 1 project

Top Coq Keywords

language 8 projects

verification 8 projects

accord-project 7 projects

blockchain 7 projects

corda 7 projects

digital-asset 7 projects

ergo 7 projects

ergo-compiler 7 projects

ethereum 7 projects

hyperledger 7 projects