inanna-malick / mononoke
Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions of some core problems in https://github.com/facebookexperimental/mononoke
☆3Updated 3 years ago
Alternatives and similar repositories for mononoke:
Users that are interested in mononoke are comparing it to the libraries listed below
- ☆40Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Dual Traversable☆42Updated last year
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- A total recursion scheme library for Dhall☆66Updated 3 weeks ago
- static analysis of free monads☆24Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A work stealing scheduler☆75Updated 2 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Zippers based on lenses and traversals☆38Updated last year
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- ☆40Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago
- ♾️ Sized list☆46Updated 10 months ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- Tasty meal of Dhall☆66Updated last year
- tools for writing better type errors☆73Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Safe web routing in haskell☆30Updated last year
- Structured logging solution.☆35Updated last year
- An extension to Data.Serialize with built-in version control☆59Updated this week
- Quasiquoter for LLVM☆31Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago