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
Related projects ⓘ
Alternatives and complementary repositories for mononoke
- Compile Dhall expressions to Cabal files☆100Updated last year
- ☆41Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Dual Traversable☆41Updated last year
- HoTT Note-taking action☆25Updated 5 years ago
- A total recursion scheme library for Dhall☆65Updated 2 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- tools for writing better type errors☆73Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- 🎭 Actor library for Haskell☆30Updated last year
- ☆23Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated last month
- ♾️ Sized list☆46Updated 5 months ago
- Web front UI for interactive Haskell projects☆34Updated 4 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated 2 weeks ago
- ☆39Updated 4 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago