alexhumphreys / idrall
Dhall bindings for Idris
☆40Updated 11 months ago
Related projects: ⓘ
- Idris port of Haskell's sop-core library☆33Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- ☆18Updated 4 months ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago
- Command line interface library in Idris☆30Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Package manager for Idris☆35Updated 2 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- rewrite rules for type-level equalities☆61Updated 4 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 3 months ago
- Where my everyday research happens☆53Updated 3 weeks ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Experimental JS bindings for idris2-rhone☆21Updated 10 months ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- type level sets☆67Updated 4 years ago
- OCaml backend for Idris2☆19Updated 3 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- GRIN backend for Idris☆51Updated 4 years ago