xgrommx / idris-ecosystemLinks
☆49Updated 7 years ago
Alternatives and similar repositories for idris-ecosystem
Users that are interested in idris-ecosystem are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆64Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- A magic typeclass that just does it☆125Updated 3 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- TParsec - Total Parser Combinators in Idris☆96Updated 2 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- Github project where I track everything related to my thesis☆28Updated 9 years ago
- A test framework for Idris☆55Updated 6 years ago
- ☆32Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Type-safe effectful state machines in Haskell☆96Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆80Updated last week
- Slides & demos for talks I do☆58Updated last week
- Dual Traversable☆42Updated 2 years ago
- ♾️ Sized list☆46Updated last year
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Updated 6 years ago
- Make your actions observable and listen events from them, algebraically.☆16Updated 10 months ago
- 🧊 Інститут формальної математики☆35Updated 3 months ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 3 years ago