Lists (6)
Starred repositories
463
results
for source starred repositories
Clear filter
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/
Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Transform chess games into audio. Each move becomes a note.
An open source, standard data file format for graph data storage and retrieval.
PostgreSQL connection pooler, load balancer and database sharder.
Enables building safer SPDK-based Rust applications
A small tool that let you see the state transitions of your Quint spec
A RocksDB plugin for key-value separation, inspired by WiscKey.
An experimental JavaScript runtime built with OxCaml and JavaScriptCore
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
♞ lichess.org: the forever free, adless and open source chess server ♞
A model-based testing framework for Quint + Rust
An implementation of differential dataflow using timely dataflow on Rust.