Stars
Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
Elusion is a high-performance DataFrame / Data Engineering / Data Analytics library for managing and querying data using a DataFrame-like interface.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
Clustered, location transparent actor library in Rust
An RPC framework for Rust with a focus on ease of use.
🎨 Diagram as Code for prototyping cloud system architectures
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
A Lightweight Electron App Container
ParadeDB is a modern Elasticsearch alternative built on Postgres. Built for real-time, update-heavy workloads.
TAG-Bench: A benchmark for table-augmented generation (TAG)
🗻 Log-structured embeddable key-value storage engine written in Rust
Embedded storage built for multiplexing. Smart machines don't need to read JSON, they only need protocol buffers. The world's first MODMS (Machine-Oriented Database Management System), built to sup…
A high-performance algorithmic trading platform and event-driven backtester
An introduction to ARM64 assembly on Apple Silicon Macs
A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.
Postgres Extension written in Rust, to enable data tiering to AWS S3
Your journal app if you live in a terminal
An embedded, in-memory, zero-copy, atomicity, consistency, isolation, MVCC, almost lock-free and serializable snapshot isolation database engine.
Ultra fast, persistent database supporting Valkey API
Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB
The fastest Bloom filter in Rust. No accuracy compromises. Compatible with any hasher.
HNSW implementation in Rust. Reference: https://arxiv.org/ftp/arxiv/papers/1603/1603.09320.pdf
A library for building fast, reliable and evolvable network services.
Apache DataFusion Comet Spark Accelerator
Access large language models from the command-line
Build LLM-powered applications in Ruby