Mrcache is the fastest in memory KV store
☆26Oct 29, 2024Updated last year
Alternatives and similar repositories for mrcache
Users that are interested in mrcache are comparing it to the libraries listed below
Sorting:
- JSON encoder and decoder for python written in C/C++☆10Jan 22, 2024Updated 2 years ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- A practical application launcher for impractical people☆12Dec 21, 2023Updated 2 years ago
- ☆19Updated this week
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- 🌉 Bridging ext-parallel and ReactPHP☆15Feb 11, 2026Updated 2 weeks ago
- PPPoE Control Plane Daemon☆15May 12, 2022Updated 3 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- New version of the PML language and (classical) proof assistant☆21Feb 13, 2026Updated 2 weeks ago
- PQ ("peak"), automatically wrap blocking functions in an async child process and turn blocking functions into non-blocking promises, buil…☆20Mar 4, 2022Updated 3 years ago
- Solutions to Friedland's Control System Design: An Introduction to State Space Methods☆24Nov 13, 2021Updated 4 years ago
- An auto-formatter for the Standard ML language☆23Apr 22, 2020Updated 5 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆22Dec 29, 2021Updated 4 years ago
- Advanced block device testing/file system testing, targetting SNIA compatible reporting☆12Oct 15, 2025Updated 4 months ago
- A Flexible Storage Framework for HPC☆36Feb 16, 2026Updated last week
- Python wrappers for the FirecREST API☆12Dec 23, 2025Updated 2 months ago
- Lustre Repository with MS patches☆13Updated this week
- Extending the HDF5 library to support intelligent I/O buffering for deep memory and storage hierarchy systems☆34Feb 17, 2025Updated last year
- Auto detection of apt proxies in the LAN, caching and checking status☆10Feb 13, 2025Updated last year
- FastAPI Socket.io with first-class documentation using AsyncAPI☆17Apr 29, 2025Updated 10 months ago
- Cloyster HPC is a turnkey HPC cluster solution with an user-friendly installer☆10Oct 2, 2025Updated 4 months ago
- Example for test HTMX with gRPC-web☆10Feb 23, 2024Updated 2 years ago
- Hackable, local, ai-enabled notes app☆17Feb 15, 2026Updated 2 weeks ago
- extended benchmarking automation tool for HPC applications☆16Feb 23, 2026Updated last week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- Setup Windows build environment for PHP extensions☆15Jan 9, 2026Updated last month
- oauth consumer extension☆14Oct 9, 2025Updated 4 months ago
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Text transcription into J.R.R. Tolkien's Tengwar.☆12Nov 9, 2023Updated 2 years ago
- Composer plugin to make composer.lock smaller and more readable☆13May 25, 2025Updated 9 months ago
- Retro win95 player☆10Dec 7, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Plugin to produce locales dbs☆11Updated this week
- CLI tools for Slurm clusters☆13Dec 19, 2025Updated 2 months ago