QuentinDuval / IdrisPipes
A library for composable and effectful production, transformation and consumption of streams of data in Idris
☆37Updated 6 years ago
Related projects: ⓘ
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Probabilistic computation in Idris☆33Updated 5 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A small bifunctor library for idris☆21Updated 3 years ago
- Category Theory☆18Updated 5 years ago
- Open records for Haskell☆22Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated this week
- Playing around with multicategories and operads☆16Updated 9 years ago
- ☆41Updated 6 years ago
- A port of QuickCheck to Idris☆57Updated 6 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 7 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- ☆23Updated 9 years ago
- Provably correct implementation of insertion sort in Idris.☆28Updated 3 years ago
- ☆41Updated 7 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- An efficient graph library for Haskell☆39Updated last month