uwdb / Cosette
Cosette is an automated SQL solver.
☆676Updated 3 months ago
Alternatives and similar repositories for Cosette:
Users that are interested in Cosette are comparing it to the libraries listed below
- Black-box transactional safety checker based on cycle detection☆653Updated 3 weeks ago
- A framework for formally verifying distributed systems implementations in Coq☆601Updated 10 months ago
- A random SQL query generator☆778Updated last year
- The collection synthesizer☆211Updated 4 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆320Updated last week
- A TLA+ guide☆279Updated 2 years ago
- Your worst case is our best case.☆138Updated 8 years ago
- The Self-Driving Database Management System☆2,038Updated 5 years ago
- ZetaSQL - Analyzer Framework for SQL☆2,376Updated 4 months ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆491Updated 5 months ago
- Adaptive query optimization for PostgreSQL☆449Updated 2 weeks ago
- TPC-H like benchmark for PostgreSQL☆114Updated 9 years ago
- The automatic DBMS configuration tool☆1,219Updated 4 years ago
- ☆298Updated 9 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,338Updated last week
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year
- Accelerated Sparse Linear Algebra with Postgres and SuiteSparse☆374Updated 3 months ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,255Updated 3 months ago
- Automated testing to find logic and performance bugs in database systems☆1,591Updated this week
- Vectorized processing for Apache Arrow☆484Updated 3 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆454Updated 2 months ago
- MacroBase: A Search Engine for Fast Data☆666Updated 2 years ago
- TPC-H dbgen☆293Updated last year
- TLA+ specification for the Raft consensus algorithm☆489Updated last month
- Formal models of core Elasticsearch algorithms☆208Updated last month
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,626Updated 7 months ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆249Updated 4 years ago
- Basic implementation of Paxos and Paxos-based table replication for a cluster of PostgreSQL nodes☆306Updated 2 years ago
- Join Order Benchmark (JOB)☆319Updated last month
- GHCJS front-end for queryparser☆80Updated 6 years ago