A little KV store implementation in OCaml to practice DB systems things
☆33Jan 21, 2026Updated last month
Alternatives and similar repositories for minikv
Users that are interested in minikv are comparing it to the libraries listed below
Sorting:
- The symbolic links manager for your configuration files☆34Feb 4, 2026Updated last month
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Learning Constraint Programming with Picat☆55Oct 20, 2025Updated 4 months ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- Tunable sorting for responsive robustness and beyond☆18Feb 8, 2026Updated 3 weeks ago
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 2 months ago
- Trace calls in Elixir processes☆40Dec 26, 2025Updated 2 months ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Feb 11, 2020Updated 6 years ago
- Very simple gzip library for OCaml☆23May 19, 2021Updated 4 years ago
- A simple interpreted programming language where everything is pass-by-value☆86Jan 29, 2026Updated last month
- OCaml interface for creating Dockerfiles☆66Jan 16, 2026Updated last month
- Selenium library for Crystal☆26Aug 13, 2024Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Feb 22, 2026Updated last week
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆63Updated this week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- Deploy to Vercel with GitHub Actions☆19Updated this week
- PBT testsuite and libraries for testing multicore OCaml☆45Feb 1, 2026Updated last month
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Jun 27, 2025Updated 8 months ago
- an immutable database for zig☆59Updated this week
- A toy dependent typed language.☆46Updated this week
- From Zero to QED: An informal introduction to formality with Lean 4☆98Feb 13, 2026Updated 2 weeks ago
- establish trust in community repositories, cryptographically signed by library authors☆37Nov 12, 2025Updated 3 months ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- asdf plugin for podman.☆10Aug 31, 2023Updated 2 years ago
- Python package for handling CI and other integrations☆10Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Tupelo reference signer implementation☆14Sep 29, 2020Updated 5 years ago
- Skidded Tractor For Everday Use☆25Feb 16, 2026Updated 2 weeks ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Django exception logger with AI suggestions on how to fix them☆10Feb 10, 2026Updated 3 weeks ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Runtime assertion checking based on Gospel specifications☆51Feb 11, 2026Updated 3 weeks ago
- A scalable asynchronous event-driven jobs engine☆47Feb 4, 2026Updated last month