Data Infrastructure providing a declarative, incremental approach for multimodal AI workloads.

A lock-free, read-optimized, concurrency primitive.

A PostgreSQL extension for streaming tables with incremental view maintenance, powered by differential dataflow in Rust.

Vouch-compatible PR-spam reduction Github Action workflow + CLI tool

The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.

High-level tracing language for Linux

Creusot helps you prove your code is correct in an automated fashion.

A thread-per-core Linux io_uring async runtime for Rust optimized for latency.

Verus-verified implementation of Ironfleet Sharded Hash Table key-value store

Class materials for a distributed systems lecture series

Projects for an undergraduate OS course

A safe, easy systems language

RooDB

An open source nesting application for laser cutters, plasma cutters and other CNC machines

Rust bindings to the internal API of SQLite's virtual machine

An io_uring backed runtime for Rust

A discord bot for the Sorcery: Contested Realms TCG with a focus on using discord's features to improve the user experience

Rust async runtime based on io-uring.

A community trust management system based on explicit vouches to participate.

AliSQL is a MySQL branch originated from Alibaba Group. Fetch document from Release Notes at bottom.

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

Astrological CPU Scheduler

Shannon Lite is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities bef…

Build Postgres Extensions with Rust!

Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.

Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Redis in Zig

Transform chess games into audio. Each move becomes a note.