mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,886Updated 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,689Updated last month
- Maintainable configuration files☆4,333Updated 2 months ago
- The Ur/Web programming language☆816Updated last year
- Multicore OCaml☆765Updated 2 years ago
- The Lux Programming Language☆1,705Updated last month
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,653Updated 6 years ago
- lamdu - towards the next generation IDE☆1,872Updated last month
- Parser combinators built for speed and memory efficiency☆680Updated 9 months ago
- A Dependently Typed Functional Programming Language☆3,457Updated 4 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,632Updated 2 weeks ago
- Sinatra like web toolkit for OCaml☆775Updated 4 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆737Updated 3 weeks ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,082Updated last year
- Functional programming inspired by ML for the Erlang VM☆1,449Updated 5 years ago
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,881Updated 2 weeks ago
- Programming Languages Zoo☆1,501Updated last year
- Prototype Bud runtime (Bloom Under Development)☆861Updated 4 years ago
- Immutable Ordered Key-Value Database Engine☆1,380Updated 5 years ago
- Koka language compiler and interpreter☆3,525Updated 3 weeks ago
- A friendly programming language from the future☆6,050Updated this week
- The Flix Programming Language☆2,300Updated this week
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- Implementations of various type systems in OCaml.☆1,581Updated 9 years ago
- A composable build system for OCaml.☆1,742Updated this week
- A statically typed concatenative systems programming language.☆1,121Updated 2 years ago
- CakeML: A Verified Implementation of ML☆1,055Updated this week
- Universal toplevel for OCaml☆876Updated 6 months ago
- A programming language with static memory management based on λ-calculus☆1,005Updated this week
- A library for incremental computations☆919Updated last week
- ActorDB distributed SQL database☆1,891Updated 2 years ago