mirage / irminLinks
Irmin is a distributed database that follows the same design principles as Git
☆1,894Updated last week
Alternatives and similar repositories for irmin
Users that are interested in irmin are comparing it to the libraries listed below
Sorting:
- The Ur/Web programming language☆825Updated last year
- MirageOS is a library operating system that constructs unikernels☆2,717Updated 3 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,638Updated last week
- Multicore OCaml☆766Updated 2 years ago
- A composable build system for OCaml.☆1,761Updated last week
- Parser combinators built for speed and memory efficiency☆684Updated 11 months ago
- Maintainable configuration files☆4,356Updated 4 months ago
- A library for incremental computations☆928Updated 2 weeks ago
- A Proof-oriented Programming Language☆2,882Updated this week
- Implementations of various type systems in OCaml.☆1,585Updated 9 years ago
- The Pyret language.☆1,098Updated last week
- Sinatra like web toolkit for OCaml☆781Updated 6 months ago
- lamdu - towards the next generation IDE☆1,872Updated last week
- A functional programming language based on algebraic effect handlers☆882Updated last month
- An OCaml library for HTTP clients and servers using Lwt or Async☆749Updated last week
- Tidy, feature-complete Web framework☆1,746Updated last week
- OCaml promises and concurrent I/O☆768Updated 2 weeks ago
- The Flix Programming Language☆2,444Updated this week
- Compiler from OCaml to Javascript.☆1,039Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆1,015Updated this week
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,293Updated 4 months ago
- a functional language for building type-safe, scalable, and maintainable applications☆1,088Updated last year
- Functional programming inspired by ML for the Erlang VM☆1,453Updated 5 years ago
- Programming Languages Zoo☆1,511Updated last year
- Jane Street Capital's standard library overlay☆1,162Updated 2 weeks ago
- Koka language compiler and interpreter☆3,608Updated this week
- A high performance, memory efficient, and scalable web server written in OCaml☆543Updated last year
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,962Updated 2 years ago
- Pure OCaml Git format and protocol☆366Updated 3 months ago
- Functional language with intensional polymorphism and first-class staging.☆938Updated 2 months ago