groupoid / groupoid.spaceLinks
🧊 Інститут формальної математики
☆35Updated last month
Alternatives and similar repositories for groupoid.space
Users that are interested in groupoid.space are comparing it to the libraries listed below
Sorting:
- ☆50Updated 8 years ago
- Various data structures for use in the Idris Language.☆94Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Type provider library for Idris☆95Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Js libraries for idris☆49Updated 6 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- Github project where I track everything related to my thesis☆28Updated 9 years ago
- Category theory and algebra☆27Updated 9 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆22Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Updated 7 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Proof theory seminar☆36Updated 4 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Updated 5 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- A magic typeclass that just does it☆126Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 7 years ago
- The Evolution of a Typechecker☆54Updated 7 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A language based on homotopy type theory with an interval☆84Updated 10 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆128Updated 2 weeks ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Experiments with sequent calculi☆28Updated 4 years ago