mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
☆1,852Updated last month
Related projects ⓘ
Alternatives and complementary repositories for irmin
- MirageOS is a library operating system that constructs unikernels☆2,565Updated last week
- The Ur/Web programming language☆808Updated 5 months ago
- Multicore OCaml☆762Updated last year
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- A Proof-oriented Programming Language☆2,697Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,586Updated 3 weeks ago
- Maintainable configuration files☆4,231Updated 2 weeks ago
- The Lux Programming Language☆1,686Updated this week
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,653Updated 6 years ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆712Updated this week
- A composable build system for OCaml.☆1,640Updated this week
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- Hazel, a live functional programming environment with typed holes☆803Updated this week
- Parser combinators built for speed and memory efficiency☆650Updated 2 months ago
- Immutable Ordered Key-Value Database Engine☆1,377Updated 4 years ago
- lamdu - towards the next generation IDE☆1,852Updated last month
- Functional programming inspired by ML for the Erlang VM☆1,439Updated 4 years ago
- Compiler from OCaml to Javascript.☆962Updated this week
- A statically typed concatenative systems programming language.☆1,102Updated last year
- A functional programming language based on algebraic effect handlers☆863Updated 2 months ago
- The Mercury logic programming system.☆907Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,057Updated last year
- A library for incremental computations☆876Updated 2 weeks ago
- CakeML: A Verified Implementation of ML☆964Updated this week
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆2,804Updated 2 weeks ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,607Updated 2 years ago
- Sinatra like web toolkit for OCaml☆759Updated 5 months ago
- Programming Languages Zoo☆1,461Updated 5 months ago
- Statically typed functional programming language implementation with Go and LLVM☆749Updated 4 years ago
- OCaml promises and concurrent I/O☆717Updated this week