Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Coq Open Source Projects

Open source projects categorized as Coq
Dsss17 ⭐ 82
Lecture material for DeepSpec Summer School 2017
most recent commit 3 years ago
Twitchcoq ⭐ 82
It's a poorly named metamath verifier
most recent commit 4 years ago
Aeneas ⭐ 82
A verification toolchain for Rust programs
most recent commit 3 months ago
Ch2o ⭐ 81
most recent commit 2 years ago
Goose ⭐ 80
Goose converts a small subset of Go to Coq
dependent packages 8total releases 34most recent commit 5 months ago
Homotopy ⭐ 76
Homotopy theory in Coq.
most recent commit 13 years ago
Falso ⭐ 74
A proof of false in Coq.
most recent commit 4 years ago
Vericert ⭐ 73
A formally verified high-level synthesis tool based on CompCert and written in Coq.
most recent commit 3 months ago
Scallina ⭐ 73
A Coq-based synthesis of Scala programs which are correct-by-construction
most recent commit 2 years ago
Formal Type Theory ⭐ 72
Formalising Type Theory in a modular way for translations between type theories
most recent commit 6 years ago
Pluto ⭐ 72
A web server written in Coq.
most recent commit 8 years ago
Tokenlibs With Proofs ⭐ 71
Correctness proofs of Ethereum token contracts
most recent commit 5 years ago
Hs To Coq ⭐ 69
Convert Haskell source code to Coq source code.
most recent commit 9 months ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 3 years ago
Collapsing Towers ⭐ 69
Collapsing Towers of Interpreters
most recent commit 3 years ago
Metalib ⭐ 68
The Penn Locally Nameless Metatheory Library
most recent commit 5 months ago
Timl ⭐ 67
TiML: A Functional Programming Language with Time Complexity
most recent commit 7 years ago
Monae ⭐ 66
Monadic effects and equational reasonig in Coq
most recent commit 3 months ago
Manifesto ⭐ 66
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
most recent commit 9 months ago
Sqir ⭐ 65
A Small Quantum Intermediate Representation
most recent commit a year ago
Corespec ⭐ 64
A Specification for Dependent Types in Haskell (Core)
most recent commit 2 years ago
Coqeal ⭐ 64
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
most recent commit 3 months ago
Htt ⭐ 63
Hoare Type Theory
most recent commit 5 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.