mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,898Updated 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,737Updated last week
- The Ur/Web programming language☆829Updated last year
- Multicore OCaml☆766Updated 2 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,647Updated this week
- lamdu - towards the next generation IDE☆1,873Updated last week
- A library for incremental computations☆932Updated this week
- Parser combinators built for speed and memory efficiency☆690Updated last year
- A functional programming language based on algebraic effect handlers☆891Updated 3 months ago
- Sinatra like web toolkit for OCaml☆780Updated 7 months ago
- Implementations of various type systems in OCaml.☆1,589Updated 10 years ago
- A composable build system for OCaml.☆1,782Updated this week
- A Proof-oriented Programming Language☆2,901Updated this week
- Maintainable configuration files☆4,372Updated 5 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆750Updated 3 weeks ago
- Pure OCaml Git format and protocol☆367Updated 4 months ago
- Functional programming inspired by ML for the Erlang VM☆1,454Updated 5 years ago
- Compiler from OCaml to Javascript.☆1,044Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,090Updated 2 years ago
- OCaml promises and concurrent I/O☆771Updated 2 weeks ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,303Updated last week
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,655Updated 7 years ago
- Universal toplevel for OCaml☆897Updated last month
- A framework for formally verifying distributed systems implementations in Coq☆607Updated 3 months ago
- Programming Languages Zoo☆1,521Updated last year
- A Dependently Typed Functional Programming Language☆3,468Updated 7 months ago
- Functional language with intensional polymorphism and first-class staging.☆940Updated this week
- A high performance, memory efficient, and scalable web server written in OCaml☆538Updated last year
- Hazel, a live functional programming environment with typed holes☆1,038Updated last week
- A mixture of tooling combined to produce JavaScript from OCaml & Reason☆929Updated 2 weeks ago
- Tidy, feature-complete Web framework☆1,759Updated this week