uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆677Updated 5 months ago
Alternatives and similar repositories for Cosette
Users that are interested in Cosette are comparing it to the libraries listed below
Sorting:
- A random SQL query generator☆789Updated last year
- Automated testing to find logic and performance bugs in database systems☆1,605Updated last month
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- Black-box transactional safety checker based on cycle detection☆663Updated 3 weeks ago
- Standard ML interpreter, with relational extensions, implemented in Java☆328Updated this week
- C library for accessing the PostgreSQL parser outside of the server environment☆1,312Updated last month
- The collection synthesizer☆211Updated 4 years ago
- The Self-Driving Database Management System☆2,044Updated 6 years ago
- Formal models of core Elasticsearch algorithms☆210Updated 4 months ago
- Differential dataflow for mere mortals☆522Updated 3 years ago
- The automatic DBMS configuration tool☆1,222Updated 4 years ago
- Automatically identify anti-patterns in SQL queries☆2,477Updated last year
- TPC-H dbgen☆297Updated last year
- ZetaSQL - Analyzer Framework for SQL☆2,400Updated 2 months ago
- Adaptive query optimization for PostgreSQL☆463Updated 2 months ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- Data Access Library☆704Updated 2 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 7 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆168Updated last week
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆306Updated 2 years ago
- This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regressio…☆310Updated 4 years ago
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆433Updated 6 years ago
- Collection of Papers On Database Management Systems☆222Updated 8 years ago
- Columnar storage extension for Postgres built as a foreign data wrapper. Check out https://github.com/citusdata/citus for a modernized co…☆1,775Updated 4 years ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆250Updated 4 years ago
- new heap with in-place update, powered by undo, for eventual integration into PostgreSQL☆236Updated 5 years ago
- Irmin is a distributed database that follows the same design principles as Git☆1,885Updated this week
- A low-latency, cloud-native KVS☆703Updated 4 years ago
- A TLA+ guide☆279Updated 2 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago