danilkolikov / categories
Category Theory
☆18Updated 5 years ago
Related projects: ⓘ
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- Extensible records for Idris☆26Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 4 months ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A Go backend for Idris☆15Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Open records for Haskell☆22Updated 6 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- ☆41Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 6 years ago
- ☆28Updated 6 years ago
- ☆41Updated 6 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago