- awesome-coq - A curated list of awesome Coq frameworks, libraries and software https://github.com/uhub/awesome-coq 5 comments coq
Linking pages
- GitHub - xgrommx/awesome-functional-programming: Yet another resource for collecting articles, videos etc. regarding functional programming https://github.com/xgrommx/awesome-functional-programming 59 comments
- GitHub - cuuupid/awesome-lists: A curated list of curated lists. https://github.com/cuuupid/awesome-lists 1 comment
Linked pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- Advent of Code 2018 https://adventofcode.com/2018 210 comments
- GitHub - AbsInt/CompCert: The CompCert formally-verified C compiler https://github.com/AbsInt/CompCert 123 comments
- GitHub - clarus/falso: A proof of false in Coq. https://github.com/clarus/falso 66 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 - Lysxia/advent-of-coq-2018: Advent of Code 2018, in Coq! (https://adventofcode.com/2018) https://github.com/Lysxia/advent-of-coq-2018 43 comments
- GitHub - pirapira/evmverif: An EVM code verification framework in Coq https://github.com/pirapira/evmverif 20 comments
- GitHub - amintimany/Categories: A formalization of category theory in the Coq proof assistant. https://github.com/amintimany/Categories 6 comments
- GitHub - EugeneLoy/coq_jupyter: Jupyter kernel for Coq https://github.com/EugeneLoy/coq_jupyter 4 comments
- GitHub - Huxpro/WasmCert: A (in-development) Coq mechanization of WebAssembly specification. https://github.com/Huxpro/WasmCert 4 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
- GitHub - LPCIC/coq-elpi: Coq plugin embedding elpi https://github.com/LPCIC/coq-elpi 1 comment
- GitHub - gallais/parseque: Total Parser Combinators in Coq https://github.com/gallais/parseque 1 comment
- GitHub - mattam82/Coq-Equations: A function definition package for Coq http://github.com/mattam82/Coq-Equations 1 comment
- GitHub - logsem/aneris: Program logic for developing and verifying distributed systems https://github.com/logsem/aneris 0 comments
- GitHub - verse-lab/toychain: A minimalistic blockchain consensus implemented and verified in Coq https://github.com/certichain/toychain 0 comments
- GitHub - mit-plv/rupicola: Gallina to Bedrock2 compilation toolkit https://github.com/mit-plv/rupicola/ 0 comments
- GitHub - UniMath/UniMath: This coq library aims to formalize a substantial body of mathematics using the univalent point of view. https://github.com/UniMath/UniMath 0 comments
- GitHub - stepchowfun/proofs: My personal repository of formally verified mathematics. https://github.com/stepchowfun/proofs 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software.
See how to search.