ndmitchell / derive
A Haskell program and library to derive instances for data types
☆25Updated 4 years ago
Alternatives and similar repositories for derive:
Users that are interested in derive are comparing it to the libraries listed below
- Serializable closures for distributed programming.☆64Updated last year
- Type-safe error handling☆64Updated last year
- Haskell 98 contravariant functors☆73Updated 5 months ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 weeks ago
- Dual Traversable☆42Updated last year
- haskell memory☆48Updated last year
- ☆31Updated 3 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- higher-kinded data☆30Updated last year
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- Haskell 98 Profunctors☆71Updated 9 months ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- ☆23Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- Provides the region monad for safely opening and working with scarce resources☆33Updated 10 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- the EitherT monad transformer☆55Updated 3 weeks ago
- Reasonably efficient probability monad for Haskell.☆19Updated 11 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 6 years ago
- A recursion scheme library for Idris.☆24Updated 4 months ago
- Benchmarks to compare Haskell streaming library performance☆103Updated 4 months ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago