rcalsaverini / boehm-berarducci
Various implementations of the Boehm-Berarducci encoding for various types in various programming languages.
☆9Updated 6 years ago
Alternatives and similar repositories for boehm-berarducci:
Users that are interested in boehm-berarducci are comparing it to the libraries listed below
- HoTT Note-taking action☆25Updated 6 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- Refined types☆57Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Zippers based on lenses and traversals☆39Updated last year
- Experiments with linear types☆14Updated 7 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- Haskell graphs and networks library☆31Updated 3 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.☆88Updated last week
- oleg modules