mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
☆1,884Updated last month
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,663Updated 2 months ago
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- lamdu - towards the next generation IDE☆1,870Updated last week
- The Ur/Web programming language☆815Updated 11 months ago
- Multicore OCaml☆765Updated 2 years ago
- Functional programming inspired by ML for the Erlang VM☆1,447Updated 4 years ago
- A friendly programming language from the future☆6,006Updated this week
- Maintainable configuration files☆4,311Updated 3 weeks ago
- A functional programming language based on algebraic effect handlers☆873Updated 7 months ago
- A Proof-oriented Programming Language☆2,836Updated this week
- A Dependently Typed Functional Programming Language☆3,457Updated 2 months ago
- Parser combinators built for speed and memory efficiency☆671Updated 7 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,078Updated last year
- Sinatra like web toolkit for OCaml☆775Updated 3 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,628Updated this week
- Koka language compiler and interpreter☆3,493Updated this week
- Programming Languages Zoo☆1,493Updated 10 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,270Updated 2 weeks ago
- ActorDB distributed SQL database☆1,891Updated 2 years ago
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆2,914Updated 2 months ago
- A composable build system for OCaml.☆1,723Updated this week
- The Pyret language.☆1,086Updated this week
- The Lux Programming Language☆1,705Updated this week
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,655Updated 6 years ago
- A statically typed concatenative systems programming language.☆1,121Updated 2 years ago
- A mixture of tooling combined to produce JavaScript from OCaml & Reason☆903Updated last month
- A programming language with static memory management based on λ-calculus☆1,000Updated this week
- Functional language with intensional polymorphism and first-class staging.☆931Updated last week
- Tidy, feature-complete Web framework☆1,696Updated 4 months ago
- Prototype smart text editor☆1,063Updated last month