mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,916Updated last week
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,812Updated last month
- A library for incremental computations☆957Updated last month
- The Ur/Web programming language☆833Updated last year
- Multicore OCaml☆766Updated 3 years ago
- A composable build system for OCaml.☆1,816Updated this week
- Implementations of various type systems in OCaml.☆1,595Updated 10 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,654Updated 3 weeks ago
- Maintainable configuration files☆4,404Updated last month
- A Proof-oriented Programming Language☆2,946Updated 3 weeks ago
- Parser combinators built for speed and memory efficiency☆695Updated last year
- Sinatra like web toolkit for OCaml☆783Updated last week
- lamdu - towards the next generation IDE☆1,880Updated this week
- Compiler from OCaml to Javascript.☆1,071Updated 3 weeks ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆767Updated 3 weeks ago
- A functional programming language based on algebraic effect handlers☆900Updated 2 months ago
- The Lux Programming Language☆1,721Updated last month
- Koka language compiler and interpreter☆3,782Updated 3 weeks ago
- The Mercury logic programming system.☆979Updated this week
- OCaml promises and concurrent I/O☆776Updated this week
- The Flix Programming Language☆2,569Updated this week
- Programming Languages Zoo☆1,574Updated last year
- The Pyret language.☆1,118Updated 2 months ago
- Tidy, feature-complete Web framework☆1,803Updated 3 months ago
- A Dependently Typed Functional Programming Language☆3,472Updated 10 months ago
- Functional programming inspired by ML for the Erlang VM☆1,455Updated 5 years ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,096Updated 2 years ago
- A friendly programming language from the future☆6,464Updated this week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,320Updated 3 months ago
- A mixture of tooling combined to produce JavaScript from OCaml & Reason☆953Updated 3 weeks ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,655Updated 7 years ago