Interactiontrees
A Library for Representing Recursive and Impure Programs in Coq
| 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] | ||||||||||
Alternatives To InteractiontreesSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Monad Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Monad
Coq