uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆676Updated 6 months ago
Alternatives and similar repositories for Cosette
Users that are interested in Cosette are comparing it to the libraries listed below
Sorting:
- Black-box transactional safety checker based on cycle detection☆668Updated last month
- The collection synthesizer☆211Updated 4 years ago
- A random SQL query generator☆795Updated last year
- Adaptive query optimization for PostgreSQL☆465Updated 2 weeks ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,327Updated this week
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- Your worst case is our best case.☆137Updated 8 years ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- The Self-Driving Database Management System☆2,044Updated 6 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆332Updated this week
- ZetaSQL - Analyzer Framework for SQL☆2,406Updated this week
- Formal models of core Elasticsearch algorithms☆210Updated 4 months ago
- Automated testing to find logic and performance bugs in database systems☆1,611Updated last week
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆433Updated 6 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 8 months ago
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆386Updated 3 years ago
- ☆164Updated 4 months ago
- HyperMinHash: Bringing intersections to HyperLogLog☆303Updated 7 years ago
- PostgreSQL Languages AST and statements prettifier: master branch covers PG10, v2 branch covers PG12, v3 covers PG13, v4 covers PG14, v5 …☆374Updated 2 weeks ago
- new heap with in-place update, powered by undo, for eventual integration into PostgreSQL☆237Updated 5 years ago
- Collection of Papers On Database Management Systems☆222Updated 8 years ago
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆305Updated 2 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆257Updated 6 years ago
- A python module that gives access to PostgreSQL's query parser, for turning SQL into a parse tree.☆164Updated 2 years ago
- ☆96Updated 2 years ago
- The automatic DBMS configuration tool☆1,222Updated 4 years ago
- IVM (Incremental View Maintenance) development for PostgreSQL☆132Updated 11 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated this week