mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
☆1,835Updated last week
Related projects: ⓘ
- MirageOS is a library operating system that constructs unikernels☆2,518Updated 2 weeks ago
- Implementations of various type systems in OCaml.☆1,531Updated 9 years ago
- The Ur/Web programming language☆808Updated 3 months ago
- Sinatra like web toolkit for OCaml☆753Updated 3 months ago
- Multicore OCaml☆763Updated last year
- A composable build system for OCaml.☆1,600Updated this week
- Context sensitive completion for OCaml in Vim and Emacs☆1,572Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆703Updated last week
- The Lux Programming Language☆1,677Updated this week
- UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.☆1,651Updated 6 years ago
- A library for incremental computations☆867Updated 3 weeks ago
- Parser combinators built for speed and memory efficiency☆637Updated last week
- Maintainable configuration files☆4,201Updated 3 months ago
- Functional programming inspired by ML for the Erlang VM☆1,439Updated 4 years ago
- lamdu - towards the next generation IDE☆1,853Updated last week
- A friendly programming language from the future☆5,734Updated this week
- a functional language for building type-safe, scalable, and maintainable applications☆1,050Updated 11 months ago
- Functional language with intensional polymorphism and first-class staging.☆920Updated this week
- A Dependently Typed Functional Programming Language☆3,427Updated last month
- Tidy, feature-complete Web framework☆1,589Updated last week
- A Proof-oriented Programming Language☆2,672Updated this week
- OCaml promises and concurrent I/O☆706Updated last month
- A functional programming language based on algebraic effect handlers☆858Updated last week
- A curated collection of awesome OCaml tools, frameworks, libraries and articles.☆2,781Updated last month
- Universal toplevel for OCaml☆839Updated 4 months ago
- Compiler from OCaml to Javascript.☆951Updated this week
- A high performance, memory efficient, and scalable web server written in OCaml☆535Updated 3 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,041Updated 7 years ago
- A statically typed concatenative systems programming language.☆1,092Updated last year
- Pure OCaml Git format and protocol☆362Updated 2 weeks ago