alpha-convert / minikvLinks
A little KV store implementation in OCaml to practice DB systems things
☆27Updated this week
Alternatives and similar repositories for minikv
Users that are interested in minikv are comparing it to the libraries listed below
Sorting:
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last year
- A JS devtool orchestrator☆54Updated last week
- A functional query language, implemented in Rust☆36Updated last month
- Zero heap allocation HTTP server using OxCaml. v experimental!☆60Updated this week
- ☆134Updated 3 weeks ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 7 months ago
- Topological sort library in Zig☆97Updated 3 weeks ago
- A bibliography for protocol design☆46Updated 8 months ago
- An interactive Datalog☆64Updated last week
- An interpreter for the 1991 Oriel scripting language☆58Updated 2 years ago
- A library for building dynamic terminal apps, using bonsai☆129Updated last month
- egg is a flexible, high-performance e-graph library☆13Updated last year
- Rust implementation of µKanren, a featherweight relational programming language.☆116Updated 3 years ago
- Fun with wgpu: Simulating slime mold☆24Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 10 months ago
- world's worst interpreter☆66Updated 8 months ago
- An attempt to write a compiler in Rust☆24Updated 2 years ago
- Minimal Prolog implemented in Rust☆46Updated 3 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- 📚 A collection of resources about supercompilation☆128Updated 5 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆110Updated this week
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- A toy programming language I wrote in late 2022☆25Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆31Updated 2 weeks ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 4 months ago