uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆681Updated last year
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☆821Updated last month
- The collection synthesizer☆211Updated 5 years ago
- A framework for formally verifying distributed systems implementations in Coq☆612Updated 6 months ago
- Formal models of core Elasticsearch algorithms☆213Updated 10 months ago
- The Self-Driving Database Management System☆2,046Updated 6 years ago
- Black-box transactional safety checker based on cycle detection☆682Updated 2 weeks ago
- Automated testing to find logic and performance bugs in database systems☆1,676Updated last month
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆391Updated 4 years ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆434Updated 7 years ago
- The automatic DBMS configuration tool☆1,228Updated 5 years ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,392Updated last week
- Adaptive query optimization for PostgreSQL☆477Updated this week
- Collection of Papers On Database Management Systems☆225Updated 9 years ago
- A TLA+ guide☆277Updated 3 years ago
- A functional query language☆356Updated 2 weeks ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆250Updated 4 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 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.☆143Updated 8 years ago
- PG-Strom - Master development repository☆1,380Updated last week
- TPC-H like benchmark for PostgreSQL☆113Updated 9 years ago
- H-Store Distributed Main Memory OLTP Database System☆590Updated 5 years ago
- Accelerated Sparse Linear Algebra with Postgres and SuiteSparse☆397Updated 3 weeks ago
- TAPIR distributed transactional storage system☆423Updated 5 years ago
- The current backend of DBToaster, implemented in Scala.☆65Updated 3 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆844Updated 3 years ago
- FSCQ is a certified file system written and proven in Coq☆250Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆503Updated 10 months ago