crdt-ml

CRDTs - Conflict-Free Replicated Data Types for OCaml

GPL-3.0 License

Stars
46
View Code on GitHub
Ecosystems: OCaml

Statistics for this project are still being loaded, please check back later.

Related Projects
datalog

An in-memory datalog implementation for OCaml.

24 Dec 2012 254
opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations,...

17 Feb 2012 1,241
ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libr...

27 Feb 2013 485
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
ocaml-caqti

Cooperative-threaded access to relational data

18 Mar 2014 303
ocaml-yaml

OCaml interface to the YAML 1.1 spec

07 Aug 2017 74
pcre-ocaml

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

06 Jul 2014 30
patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

12 Apr 2024 9
ok

OCaml implementation of the K 2.0 array programming language

08 Apr 2015 80
otoml

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

06 Dec 2020 51
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
cooltt

😎TT

20 Dec 2019 217
easier-proofs

A project which aim to help engineers to make proves easily

08 Nov 2021 14
ocaml

The core OCaml system: compilers, runtime system, base libraries

20 Nov 2012 5,195
qcheck

QuickCheck inspired property-based testing for OCaml.

06 Oct 2013 345