Alternatives and similar repositories for minikv

Users that are interested in minikv are comparing it to the libraries listed below

• avsm / httpz
  Zero heap allocation HTTP server using OxCaml. v experimental!
  ☆117Updated last week
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆67Updated last year
• janestreet / bonsai_term
  A library for building dynamic terminal apps, using bonsai
  ☆133Updated 3 weeks ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆74Updated 3 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated last week
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆47Updated 9 months ago
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Updated 2 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 3 weeks ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆28Updated last year
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 7 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• williamw520 / toposort
  Topological sort library in Zig
  ☆97Updated last month
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• OCamlPro / wasocaml
  ☆63Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆22Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆44Updated 10 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• jamii / zest
  ☆139Updated last week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• OCamlPro / owi
  Seamless bug-finding for C, C++, Rust, Wasm and Zig
  ☆279Updated this week