Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Category Theory | 720 | 4 months ago | 4 | bsd-3-clause | Coq | |||||
An axiom-free formalization of category theory in Coq for personal study and practical work | ||||||||||
Interactiontrees | 180 | 6 months ago | 27 | mit | Coq | |||||
A Library for Representing Recursive and Impure Programs in Coq | ||||||||||
Coq Haskell | 159 | 6 months ago | bsd-3-clause | Coq | ||||||
A library for formalizing Haskell types and functions in Coq | ||||||||||
Advent Of Coq 2018 | 134 | 5 years ago | 1 | Coq | ||||||
Advent of Code 2018, in Coq! (https://adventofcode.com/2018) | ||||||||||
Monae | 66 | 3 months ago | 15 | lgpl-2.1 | Coq | |||||
Monadic effects and equational reasonig in Coq | ||||||||||
Htt | 63 | 5 months ago | 1 | apache-2.0 | Coq | |||||
Hoare Type Theory | ||||||||||
Free Compiler | 38 | 2 years ago | 23 | bsd-3-clause | Haskell | |||||
A Haskell to Coq compiler that represents effectful programs with the free monad | ||||||||||
Profunctor Monad | 33 | 2 years ago | 2 | May 17, 2022 | 1 | mit | Coq | |||
Bidirectional programming in Haskell with monadic profunctors | ||||||||||
Mtacar | 27 | 3 years ago | Agda | |||||||
Mtac in Agda | ||||||||||
Alea | 19 | 2 years ago | 2 | lgpl-2.1 | Coq | |||||
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka] |