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!
  ☆116Updated this week
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated 2 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated last year
• janestreet / bonsai_term
  A library for building dynamic terminal apps, using bonsai
  ☆132Updated 2 weeks ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆47Updated 9 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
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆56Updated 2 weeks ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated last week
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆74Updated 3 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆64Updated last week
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated 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
• jamii / zest
  ☆139Updated last month
• Lulzx / hvm
  A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
  ☆31Updated last month
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• rajatjindal / wasm-console
  a very (x 10) basic wasm console
  ☆22Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 2 years ago
• williamw520 / toposort
  Topological sort library in Zig
  ☆97Updated last month
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆102Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 9 months ago
• SaberVM / SaberVM
  ☆218Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• ocurrent / obuilder
  Experimental "docker build" alternative using btrfs/zfs snapshots
  ☆62Updated 2 weeks ago
• brurucy / materialized-view
  ☆19Updated 8 months ago
• tidwall / bgen
  B-tree generator for C
  ☆145Updated 2 months ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago