groupoid / groupoid.space
🧊 Інститут формальної математики
☆35Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for groupoid.space
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- ☆47Updated 6 years ago
- ☆30Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A more flexible mtl☆64Updated 6 years ago
- Js libraries for idris☆49Updated 4 years ago
- Proof theory seminar☆31Updated 3 years ago
- ☆28Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- ♾️ Sized list☆46Updated 5 months ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 5 years ago
- Incubator for my Haskell libraries☆20Updated 6 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆24Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- A short scripts and programs☆12Updated last year
- Type-safe time units in Haskell☆49Updated 9 months ago