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
Enumerative Testing and Bounded Validation of SMT Solvers
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
⏰ Collaboratively 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
“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book