uwdb / Cosette
Cosette is an automated SQL solver.
☆676Updated 4 months ago
Alternatives and similar repositories for Cosette:
Users that are interested in Cosette are comparing it to the libraries listed below
- Parsing and analysis of Vertica, Hive, and Presto SQL.☆1,080Updated 3 years ago
- A random SQL query generator☆781Updated last year
- The collection synthesizer☆211Updated 4 years ago
- The automatic DBMS configuration tool☆1,221Updated 4 years ago
- Blazingly fast analytics database that will rapidly devour all of your data.☆1,630Updated last week
- C library for accessing the PostgreSQL parser outside of the server environment☆1,291Updated last week
- An implementation of differential dataflow using timely dataflow on Rust.☆2,680Updated last week
- Adaptive query optimization for PostgreSQL☆452Updated last month
- Automated testing to find logic and performance bugs in database systems☆1,602Updated this week
- A framework for formally verifying distributed systems implementations in Coq☆603Updated 11 months ago
- Vectorized processing for Apache Arrow☆485Updated 3 years ago
- Black-box transactional safety checker based on cycle detection☆656Updated 2 weeks ago
- Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).☆455Updated 4 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,770Updated 4 years ago
- ZetaSQL - Analyzer Framework for SQL☆2,386Updated 3 weeks ago
- Formal models of core Elasticsearch algorithms☆207Updated 2 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆324Updated this week
- new heap with in-place update, powered by undo, for eventual integration into PostgreSQL☆235Updated 5 years ago
- Accelerated Sparse Linear Algebra with Postgres and SuiteSparse☆375Updated last week
- A TLA+ guide☆279Updated 2 years ago
- Berkeley Tree Database (BTrDB) server☆911Updated 3 years ago
- BNF Grammars for SQL-92, SQL-99 and SQL-2003☆382Updated 3 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,054Updated 7 years ago
- H-Store Distributed Main Memory OLTP Database System☆577Updated 4 years ago
- Prototype Bud runtime (Bloom Under Development)☆860Updated 4 years ago
- The Self-Driving Database Management System☆2,040Updated 5 years ago
- Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing☆249Updated 4 years ago
- An in-memory datalog implementation for OCaml.☆268Updated 6 months ago
- A SQLite vtable extension to read Parquet files☆271Updated 3 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,403Updated last year