mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,891Updated 2 weeks ago
Alternatives and similar repositories for irmin
Users that are interested in irmin are comparing it to the libraries listed below
Sorting:
- MirageOS is a library operating system that constructs unikernels☆2,712Updated 2 months ago
- The Ur/Web programming language☆823Updated last year
- A Proof-oriented Programming Language☆2,879Updated this week
- Implementations of various type systems in OCaml.☆1,583Updated 9 years ago
- Multicore OCaml☆766Updated 2 years ago
- lamdu - towards the next generation IDE☆1,872Updated this week
- Maintainable configuration files☆4,348Updated 3 months ago
- Programming Languages Zoo☆1,509Updated last year
- A functional programming language based on algebraic effect handlers☆883Updated last month
- Functional programming inspired by ML for the Erlang VM☆1,450Updated 5 years ago
- A library for incremental computations☆924Updated last month
- Koka language compiler and interpreter☆3,586Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,638Updated this week
- The Pyret language.☆1,095Updated last week
- The Mercury logic programming system.☆956Updated this week
- A composable build system for OCaml.☆1,757Updated this week
- Compiler from OCaml to Javascript.☆1,035Updated this week
- Parser combinators built for speed and memory efficiency☆684Updated 10 months ago
- The Lux Programming Language☆1,709Updated last week
- The Flix Programming Language☆2,437Updated this week
- A Dependently Typed Functional Programming Language☆3,462Updated 5 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,961Updated 2 years ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆748Updated 2 months ago
- Tidy, feature-complete Web framework☆1,737Updated 7 months ago
- Sinatra like web toolkit for OCaml☆780Updated 5 months ago
- Project: M36 Relational Algebra Engine