Lists (6)
Starred repositories
relational database stored 100% in a discord guild built with go
egg is a flexible, high-performance e-graph library
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.
Creusot helps you prove your Rust code is correct.
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
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
A discord bot for the Sorcery: Contested Realms TCG with a focus on using discord's features to improve the user experience
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/
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…