uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆683Updated last year
Alternatives and similar repositories for Cosette
Users that are interested in Cosette are comparing it to the libraries listed below
Sorting:
- The collection synthesizer☆210Updated 5 years ago
- Parsing and analysis of Vertica, Hive, and Presto SQL.☆1,081Updated 3 years ago
- A random SQL query generator☆827Updated 3 months ago
- Black-box transactional safety checker based on cycle detection☆686Updated last month
- A framework for formally verifying distributed systems implementations in Coq☆618Updated 2 weeks ago
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆433Updated 7 years ago
- Formal models of core Elasticsearch algorithms☆214Updated last year
- Automated testing to find logic and performance bugs in database systems☆1,691Updated 2 months ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- A TLA+ guide☆278Updated 3 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆500Updated last year
- Your worst case is our best case.☆144Updated 8 years ago
- A functional query language☆360Updated this week
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056Updated 8 years ago
- The Self-Driving Database Management System☆2,048Updated 6 years ago
- The automatic DBMS configuration tool☆1,229Updated 5 years ago
- Adaptive query optimization for PostgreSQL☆479Updated 3 weeks ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,426Updated last week
- Prototype Bud runtime (Bloom Under Development)☆871Updated 5 years ago
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆393Updated 4 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol☆334Updated 7 years ago
- Collection of Papers On Database Management Systems☆224Updated 9 years ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆296Updated 3 years ago
- A probabilistic programming language☆322Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆507Updated 11 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆176Updated 2 months ago
- This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regressio…☆309Updated 5 years ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆253Updated 5 years ago