bobatkey / authenticated-data-structures
An implementation of generic authenticated data structures in OCaml
☆16Updated 4 years ago
Related projects: ⓘ
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 5 months ago
- OCaml backend for Agda☆39Updated 5 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- Ocaml bindings for lmdb.☆48Updated last year
- SubML (prototype) language☆23Updated 2 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Constant time equal function to avoid timing attacks in OCaml☆52Updated 2 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated 10 months ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Yet another type combinator library☆54Updated 2 years ago
- OCaml API search engine☆25Updated 7 years ago
- Asynchronous effect based IO☆33Updated 3 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated last year
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 5 years ago
- ☆51Updated this week
- Work on modular implicits☆23Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- a distributed computing library for OCaml☆25Updated 8 months ago
- Signatures of the category theoretic style; a experiment in flattery☆27Updated 9 years ago