wildarch / jepsen.rqlite
☆58Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for jepsen.rqlite
- Zig library for HyperLogLog estimation☆86Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Implementation of popular consensus protocols☆22Updated 4 years ago
- A learned index structure☆52Updated 3 years ago
- An interpreter of subset of Python in Go☆49Updated last year
- Scale to zero Seafowl hosting with Cloud Run☆39Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 4 years ago
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- Zack's experimental tool for querying BPF with SQL.☆37Updated 2 months ago
- Mmap radix sort file by a fixed length prefix of each line☆52Updated 4 years ago
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆90Updated last week
- a 64-bit histogram / quantile sketch☆56Updated last year
- Multi-Array Queue program codes☆75Updated this week
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 5 months ago
- A small language that compiles to WebAssembly Text format☆73Updated 6 months ago
- Distributed batch data processing framework☆61Updated last month
- Rust CouchDB implementation for Cloudant hackweek☆68Updated 4 years ago
- Omnino is a windowing system for web applications.☆56Updated 11 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆64Updated last year
- A highly concurrent, low latency, highly available monotonic hybrid timestamp service.☆22Updated last month
- Graph-based Declarative Configuration Language☆134Updated 3 years ago
- A Unikernel running WebAssembly code☆47Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆27Updated this week
- a file transfer service utilizing quic☆59Updated last month
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 6 months ago
- ☆34Updated last year
- Mirror of the Ouroboros packet network repository. Latest version and documentation is on the website.☆42Updated 2 months ago
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆115Updated this week