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
- A small profunctor library for idris☆17Updated 2 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- HoTT Note-taking action☆25Updated 6 years ago
- ☆34Updated last year
- Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection☆66Updated 3 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated last year
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Idris GraphQL☆16Updated 7 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- oleg modules☆30Updated 12 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 10 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.☆88Updated last week
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- every day i'm truffling☆69Updated 4 years ago
- TODO☆23Updated 9 years ago
- Refined types☆57Updated 6 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- Experiments with linear types☆14Updated 7 years ago