Mrcache is the fastest in memory KV store
☆25Oct 29, 2024Updated last year
Alternatives and similar repositories for mrcache
Users that are interested in mrcache are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 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 last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- Plugin to produce locales dbs☆11Mar 4, 2026Updated last month
- DNS resolver written in C using sockets☆11Dec 10, 2013Updated 12 years ago
- 9front☆13Aug 11, 2017Updated 8 years ago
- An auto-formatter for the Standard ML language☆23Apr 22, 2020Updated 5 years ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- The libdill tutorial.☆16Nov 3, 2019Updated 6 years ago
- JIT compiler of scheme☆15Jul 29, 2011Updated 14 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A implement for C coroutine☆10Apr 17, 2024Updated last year
- Arteria is a high performance message channel system for IPC and network communication☆12Jun 21, 2017Updated 8 years ago
- SHA and Shake for scala☆13Apr 5, 2026Updated last week
- Azureus Distributed Hash Table (DHT) in Erlang☆16Nov 6, 2019Updated 6 years ago
- Small x-platform actor framework☆14Feb 17, 2026Updated last month
- Async datagram traits☆11Aug 28, 2019Updated 6 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated last year
- FFT for PyCuda and PyOpenCL. The package is deprecated and its functionality is merged into Reikna.☆37Feb 17, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Sbt thin client in Scala.js running on Node☆14Oct 27, 2018Updated 7 years ago
- WARD is a minimal, performant infinite whiteboard app for wacom tablets☆22Dec 29, 2021Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Aug 22, 2019Updated 6 years ago
- OLD REPOSITORY, new one at repo.rumpkernel.org/rumprun☆44Apr 13, 2015Updated 10 years ago
- Minecraft ping service with MySQL backend☆10Feb 23, 2023Updated 3 years ago
- Fork of HyenaDNA, a long-range genomic foundation model built with Hyena☆10Aug 14, 2023Updated 2 years ago
- Ruby 3.4.7/4.0.0 port to Cosmopolitan Libc - Actually Portable Ruby☆34Mar 27, 2026Updated 2 weeks ago
- sbt plugin for monitoring Scala.js artifact size☆14Dec 27, 2024Updated last year
- simple static file server backed by http4s-ember.js☆12May 11, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Retro win95 player☆10Dec 7, 2018Updated 7 years ago
- A pushdown automaton low memory JSON bytes stream checker☆13Dec 24, 2021Updated 4 years ago
- Deprecated. Use Giter8 template instead.☆11Feb 2, 2018Updated 8 years ago
- A Minimalistic ASCII/Tiled Game Engine☆10Aug 6, 2025Updated 8 months ago
- patch file to add Tascam US16x08 mixer support to kernel driver snd-usb-audio☆15Jul 6, 2021Updated 4 years ago
- Reactive HTML templating☆12Apr 5, 2026Updated last week
- Java++, adding additional syntactical sugar to vanilla Java.☆11Aug 13, 2019Updated 6 years ago