mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,902Updated 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,759Updated last week
- The Ur/Web programming language☆831Updated last year
- lamdu - towards the next generation IDE☆1,875Updated last month
- A library for incremental computations☆937Updated 3 weeks ago
- Implementations of various type systems in OCaml.☆1,591Updated 10 years ago
- Multicore OCaml☆766Updated 2 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,647Updated this week
- Programming Languages Zoo☆1,521Updated last year
- A functional programming language based on algebraic effect handlers☆890Updated 3 months ago
- A Proof-oriented Programming Language☆2,907Updated last week
- Sinatra like web toolkit for OCaml☆782Updated 8 months ago
- A composable build system for OCaml.☆1,786Updated this week
- OCaml promises and concurrent I/O☆768Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆751Updated last month
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,654Updated 7 years ago
- The Lux Programming Language☆1,716Updated last month
- Parser combinators built for speed and memory efficiency☆692Updated last year
- The Pyret language.☆1,110Updated last week
- A framework for formally verifying distributed systems implementations in Coq☆608Updated 3 months ago
- A Dependently Typed Functional Programming Language☆3,469Updated 8 months ago
- Maintainable configuration files☆4,379Updated last week
- The Mercury logic programming system.☆970Updated this week
- Project: M36 Relational Algebra Engine☆935Updated 2 weeks ago
- Compiler from OCaml to Javascript.☆1,050Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,092Updated 2 years ago
- Prototype Bud runtime (Bloom Under Development)☆864Updated 5 years ago
- Tidy, feature-complete Web framework☆1,766Updated last week
- A planet scale, highly available, transactional database built on CRDT technology☆859Updated 2 months ago
- Functional programming inspired by ML for the Erlang VM☆1,454Updated 5 years ago
- Functional language with intensional polymorphism and first-class staging.☆940Updated last week