GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] - discu.eu

Linking pages

Linked pages

CompCert - Main page http://compcert.inria.fr/ 191 comments
Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
Nix: reproducible builds and deployments https://nixos.org/nix/ 124 comments
Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work https://github.com/jwiegley/category-theory 43 comments
GitHub - rems-project/sail: Sail architecture definition language https://github.com/rems-project/sail 16 comments
GitHub - ejgallego/jscoq: A port of Coq to Javascript -- Run Coq in your Browser https://github.com/ejgallego/jscoq 15 comments
opam - opam https://opam.ocaml.org/ 13 comments
GitHub - codyroux/name-the-biggest-number https://github.com/codyroux/name-the-biggest-number 11 comments
Mathematical Components (the book) https://math-comp.github.io/mcb/ 5 comments
GitHub - coq-community/manifesto: Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct. https://github.com/coq-community/manifesto 5 comments
https://dune.build/ 5 comments
GitHub - EugeneLoy/coq_jupyter: Jupyter kernel for Coq https://github.com/EugeneLoy/coq_jupyter 4 comments
GitHub - mit-plv/bbv: Bedrock Bit Vector Library https://github.com/mit-plv/bbv 3 comments
GitHub - mit-plv/fiat-crypto: Cryptographic Primitive Code Generation by Fiat https://github.com/mit-plv/fiat-crypto 2 comments
Programs and Proofs http://ilyasergey.net/pnp/ 2 comments
https://www.cs.princeton.edu/~appel/papers/plcc.pdf 2 comments
GitHub - uds-psl/coq-library-undecidability: A library of mechanised undecidability proofs in the Coq proof assistant. https://github.com/uds-psl/coq-library-undecidability 1 comment
GitHub - uwplse/verdi: A framework for formally verifying distributed systems implementations in Coq https://github.com/uwplse/verdi 1 comment

Related searches:

Search whole site: site:github.com

Search title: GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

See how to search.

Submit link to: