uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆678Updated 8 months ago
Alternatives and similar repositories for Cosette
Users that are interested in Cosette are comparing it to the libraries listed below
Sorting:
- The collection synthesizer☆211Updated 4 years ago
- A random SQL query generator☆802Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆607Updated 2 months ago
- A TLA+ guide☆279Updated 3 years ago
- Black-box transactional safety checker based on cycle detection☆669Updated 3 months ago
- Formal models of core Elasticsearch algorithms☆210Updated 6 months ago
- Automated testing to find logic and performance bugs in database systems☆1,633Updated this week
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆433Updated 6 years ago
- The automatic DBMS configuration tool☆1,223Updated 4 years ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆250Updated 4 years ago
- The Self-Driving Database Management System☆2,046Updated 6 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆494Updated 10 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Your worst case is our best case.☆140Updated 8 years ago
- Adaptive query optimization for PostgreSQL☆467Updated 2 months ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆387Updated 4 years ago
- Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).☆460Updated last month
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,054Updated 8 years ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,353Updated last month
- TLA+ specification for the Raft consensus algorithm☆495Updated 6 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,396Updated last week
- TLA+ language support for Visual Studio Code☆388Updated 2 weeks ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆837Updated 3 years ago
- Collection of Papers On Database Management Systems☆222Updated 8 years ago
- TAPIR distributed transactional storage system☆423Updated 4 years ago
- Tool for checking whether two SQL queries are equivalent☆36Updated 2 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆293Updated 3 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆292Updated 3 months ago
- Prototype Bud runtime (Bloom Under Development)☆863Updated 4 years ago