mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,885Updated 2 months 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,681Updated 2 weeks ago
- Implementations of various type systems in OCaml.☆1,578Updated 9 years ago
- Multicore OCaml☆765Updated 2 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,633Updated this week
- Parser combinators built for speed and memory efficiency☆676Updated 8 months ago
- A library for incremental computations☆913Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆736Updated this week
- A functional programming language based on algebraic effect handlers☆872Updated 8 months ago
- OCaml promises and concurrent I/O☆759Updated 3 weeks ago
- Compiler from OCaml to Javascript.☆1,018Updated this week
- Sinatra like web toolkit for OCaml☆775Updated 3 months ago
- Pure OCaml Git format and protocol☆364Updated 2 weeks ago
- The Ur/Web programming language☆814Updated last year
- Immutable Ordered Key-Value Database Engine☆1,380Updated 5 years ago
- A planet scale, highly available, transactional database built on CRDT technology☆849Updated last year
- Functional programming inspired by ML for the Erlang VM☆1,448Updated 4 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- Functional language with intensional polymorphism and first-class staging.☆935Updated last week
- Programming Languages Zoo☆1,497Updated 11 months ago
- A Proof-oriented Programming Language☆2,845Updated this week
- Hazel, a live functional programming environment with typed holes☆927Updated this week
- A composable build system for OCaml.☆1,732Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,078Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆606Updated last year
- A high performance, memory efficient, and scalable web server written in OCaml☆542Updated last year
- Maintainable configuration files☆4,319Updated last month
- Koka language compiler and interpreter☆3,507Updated this week
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,653Updated 6 years ago
- The Mercury logic programming system.☆947Updated this week
- lamdu - towards the next generation IDE☆1,872Updated last week