mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
☆1,875Updated this week
Alternatives and similar repositories for irmin:
Users that are interested in irmin are comparing it to the libraries listed below
- MirageOS is a library operating system that constructs unikernels☆2,634Updated 2 weeks ago
- A Proof-oriented Programming Language☆2,809Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,614Updated last week
- Multicore OCaml☆762Updated 2 years ago
- The Ur/Web programming language☆809Updated 9 months ago
- A composable build system for OCaml.☆1,706Updated this week
- Implementations of various type systems in OCaml.☆1,573Updated 9 years ago
- Parser combinators built for speed and memory efficiency☆670Updated 6 months ago
- Koka language compiler and interpreter☆3,460Updated this week
- Tidy, feature-complete Web framework☆1,668Updated 3 months ago
- A Dependently Typed Functional Programming Language☆3,448Updated last month
- Maintainable configuration files☆4,284Updated last week
- Compiler from OCaml to Javascript.☆998Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,072Updated last year
- An OCaml library for HTTP clients and servers using Lwt or Async☆729Updated last week
- lamdu - towards the next generation IDE☆1,864Updated this week
- Programming Languages Zoo☆1,484Updated 9 months ago
- A library for incremental computations☆900Updated 4 months ago
- OCaml promises and concurrent I/O☆744Updated 2 weeks ago
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,654Updated 6 years ago
- Jane Street Capital's standard library overlay☆1,138Updated 4 months ago
- Darklang main repo, including language, backend, and infra☆1,721Updated this week
- The Lux Programming Language☆1,693Updated 2 weeks ago
- A mixture of tooling combined to produce JavaScript from OCaml & Reason☆890Updated this week
- The Mercury logic programming system.☆940Updated this week
- A functional programming language based on algebraic effect handlers☆868Updated 6 months ago
- Universal toplevel for OCaml☆865Updated 3 months ago
- package.json workflow for native development with Reason/OCaml☆848Updated this week
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆2,884Updated last month
- Functional language with intensional polymorphism and first-class staging.☆930Updated 2 weeks ago