Distributed KV store on QuePaxa consensus (SOSP '23), TigerBeetle-style deterministic simulation testing, live WASM demo
☆11Jul 10, 2026Updated 3 months ago
Alternatives and similar repositories for keermat-kv
Users that are interested in keermat-kv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆28Sep 5, 2026Updated last month
- idk man it's funny☆16Dec 11, 2025Updated 10 months ago
- Schema-derived, compositional patches for Effect☆38Jun 7, 2026Updated 4 months ago
- ☆188Sep 9, 2026Updated last month
- Wrapper around Fastify☆12Nov 21, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Effect-native x402☆45Sep 23, 2026Updated 3 weeks ago
- A fleet manager for SlateDB: GC, compaction, and mirroring across database fleets.☆28Jul 30, 2026Updated 2 months ago
- ☆14Jun 4, 2025Updated last year
- Effect × Next.js example showcasing typed middlewares, validated params, server actions, and simple React-side caching.☆23Oct 13, 2025Updated last year
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆38Updated this week
- ☆20Sep 17, 2019Updated 7 years ago
- 🐀 Agentic TypeScript scaffold: Effect 4, XState 6 + @xstate/effect, Alchemy infra, varlock config, and a fence that makes cheating uncom…☆107Oct 15, 2026Updated last week
- Relay cursor pagination helpers for prisma☆16Jun 6, 2024Updated 2 years ago
- ☆43Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆43Aug 2, 2026Updated 2 months ago
- React Devtools with time traveling☆38Sep 11, 2026Updated last month
- A single-player Pong game implemented for 8086 microprocessors.☆10Apr 22, 2020Updated 6 years ago
- algorithms and data structures implemented in rust☆19Aug 9, 2022Updated 4 years ago
- ☆15Sep 5, 2025Updated last year
- Author workflows with Effect — schemas, typed errors, composition — and run them on Temporal's retries, timers, signals, and history.☆28Oct 2, 2026Updated 2 weeks ago
- This is my personal blog - Written by Django and Bootstrap☆10Aug 7, 2022Updated 4 years ago
- ☆16Jul 25, 2023Updated 3 years ago
- ☆18Jul 20, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust port of porcupine, the fast linearizability checker originally implemented in Go☆29Apr 26, 2026Updated 5 months ago
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆19Oct 4, 2026Updated 2 weeks ago
- Shared memory queues (channels) in Odin☆13Aug 6, 2023Updated 3 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 7 months ago
- Modular runtime for Github actions☆38Sep 1, 2026Updated last month
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- Neo4j Bloom is a graph exploration application for visually interacting with graph data☆20Mar 2, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of free and reusable code that you can copy-paste in your own project. Every snippet is self-contained and can be used witho…☆31Oct 1, 2025Updated last year
- A rust port of go lang version: https://github.com/charmbracelet/bubbles☆13Dec 15, 2025Updated 10 months ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- A TOTP and HOTP library for zig.☆10Oct 5, 2026Updated 2 weeks ago
- Port knocking implementation in eBPF☆12Sep 1, 2025Updated last year
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated 3 weeks ago
- Flake module to provide live server version of `cargo doc`☆12Aug 26, 2024Updated 2 years ago