Highlights
- Pro
Stars
Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Efficient Git Bisect using Docker Caching for Fast Repeated and Concurrent Bisection
Interview questions for Computer Science faculty jobs
The CompCert formally-verified C compiler
egg is a flexible, high-performance e-graph library
Python bindings for the egglog rust library
An automated prover that verifies the equivalence of SQL queries
Contextual Harnessing for Efficient SQL Synthesis
A new CardEst Benchmark to Bridge AI and DBMS
Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
The SQL Standards Project aims to create consensus in SQL semantics
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
The Themis Benchmark for evaluating automated GUI testing
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
ClickHouse® is a real-time analytics database management system
A fuzzing framework for finding transactional bugs in DBMSs
⏰ Agenticly track worldwide conference deadlines (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
A framework for distributed systems verification, with fault injection
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
A multi-cursor structural editor prototype for TypeScript