uwdb / Cosette
Cosette is an automated SQL solver.
☆662Updated 2 years ago
Related projects: ⓘ
- Parsing and analysis of Vertica, Hive, and Presto SQL.☆1,073Updated 2 years ago
- A random SQL query generator☆743Updated 8 months ago
- The collection synthesizer☆209Updated 3 years ago
- C library for accessing the PostgreSQL parser outside of the server environment☆1,165Updated this week
- Black-box transactional safety checker based on cycle detection☆634Updated 7 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,547Updated last week
- Adaptive query optimization for PostgreSQL☆424Updated last week
- Vectorized processing for Apache Arrow☆486Updated 2 years ago
- Automated testing to find logic and performance bugs in database systems☆1,470Updated this week
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,608Updated last month
- Sparser: Raw Filtering for Faster Analytics over Raw Data☆430Updated 6 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆293Updated 5 months ago
- A framework for formally verifying distributed systems implementations in Coq☆582Updated 4 months ago
- The Self-Driving Database Management System☆2,031Updated 5 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,041Updated 7 years ago
- This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regressio…☆311Updated 3 years ago
- ZetaSQL - Analyzer Framework for SQL☆2,279Updated last month
- H-Store Distributed Main Memory OLTP Database System☆564Updated 4 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆484Updated 2 weeks ago
- ☆334Updated this week
- new heap with in-place update, powered by undo, for eventual integration into PostgreSQL☆226Updated 4 years ago
- Formal models of core Elasticsearch algorithms☆206Updated 5 years ago
- Columnar storage extension for Postgres built as a foreign data wrapper. Check out https://github.com/citusdata/citus for a modernized co…☆1,757Updated 3 years ago
- A modular implementation of timely dataflow in Rust☆3,256Updated this week
- TLA+ specification for the Raft consensus algorithm☆458Updated this week
- Prototype Bud runtime (Bloom Under Development)☆854Updated 4 years ago
- PostgreSQL Languages AST and statements prettifier: master branch covers PG10, v2 branch covers PG12, v3 covers PG13, v4 covers PG14, v5 …☆347Updated this week
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆369Updated 3 years ago
- DEPRECATED - Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!☆574Updated 3 years ago
- Your worst case is our best case.☆136Updated 7 years ago