uwdb / CosetteLinks
Cosette is an automated SQL solver.
☆679Updated 9 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☆806Updated last year
- A framework for formally verifying distributed systems implementations in Coq☆608Updated 2 months ago
- A TLA+ guide☆279Updated 3 years ago
- Black-box transactional safety checker based on cycle detection☆671Updated 4 months ago
- Automated testing to find logic and performance bugs in database systems☆1,636Updated this week
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 10 months ago
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆433Updated 7 years ago
- Formal models of core Elasticsearch algorithms☆210Updated 7 months ago
- The Self-Driving Database Management System☆2,046Updated 6 years ago
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆388Updated 4 years ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,358Updated last month
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- ZetaSQL - Analyzer Framework for SQL☆2,421Updated 2 months ago
- A functional query language☆339Updated last month
- Accelerated Sparse Linear Algebra with Postgres and SuiteSparse☆390Updated 2 weeks ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆250Updated 4 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆839Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Adaptive query optimization for PostgreSQL☆469Updated 2 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,403Updated last week
- Your worst case is our best case.☆141Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm☆495Updated 7 months ago
- Collection of Papers On Database Management Systems☆222Updated 8 years ago
- FSCQ is a certified file system written and proven in Coq☆247Updated 2 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- Prototype Bud runtime (Bloom Under Development)☆864Updated 5 years ago
- APALACHE: symbolic model checker for TLA+ and Quint☆494Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,452Updated 2 years ago
- Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).☆473Updated 2 months ago