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 2 weeks ago
• 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
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• williamw520 / toposort
  Topological sort library in Zig
  ☆97Updated last month
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆22Updated last year
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆47Updated 9 months ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 3 weeks ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆56Updated 2 weeks ago
• jamii / zest
  ☆139Updated last week
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated 2 weeks ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 11 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 5 months ago
• OCamlPro / wasocaml
  ☆63Updated last year
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated last year
• kayceesrk / cs3100_m25
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Updated 2 months ago
• ThetaLang / Theta
  θ A statically typed, functional programming language that compiles to WebAssembly
  ☆43Updated last year
• NyuB / ocli
  Mini elm-inspired utilities for Ocaml CLI applications
  ☆75Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• 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