mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,914Updated this 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,799Updated last month
- The Ur/Web programming language☆832Updated last year
- Multicore OCaml☆766Updated 3 years ago
- A library for incremental computations☆955Updated last month
- Context sensitive completion for OCaml in Vim and Emacs☆1,653Updated this week
- lamdu - towards the next generation IDE☆1,880Updated last week
- Implementations of various type systems in OCaml.☆1,594Updated 10 years ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,654Updated 7 years ago
- A functional programming language based on algebraic effect handlers☆896Updated last month
- Parser combinators built for speed and memory efficiency☆694Updated last year
- Sinatra like web toolkit for OCaml☆782Updated 10 months ago
- The Pyret language.☆1,117Updated 2 months ago
- A Proof-oriented Programming Language☆2,940Updated this week
- A composable build system for OCaml.☆1,811Updated this week
- The Mercury logic programming system.☆975Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆761Updated last week
- Programming Languages Zoo☆1,572Updated last year
- Compiler from OCaml to Javascript.☆1,066Updated last week
- A Dependently Typed Functional Programming Language☆3,472Updated 10 months ago
- Functional language with intensional polymorphism and first-class staging.☆941Updated last month
- Maintainable configuration files☆4,402Updated last month
- Prototype smart text editor☆1,063Updated 9 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,469Updated 2 years ago
- The Lux Programming Language☆1,718Updated 3 weeks ago
- Tidy, feature-complete Web framework☆1,801Updated 2 months ago
- OCaml promises and concurrent I/O☆776Updated last week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,321Updated 3 months ago
- Pure OCaml Git format and protocol☆369Updated 7 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,097Updated 2 years ago
- A framework for formally verifying distributed systems implementations in Coq☆612Updated 5 months ago