junyang / radb
RA (radb): A relational algebra interpreter over relational databases
☆64Updated last year
Alternatives and similar repositories for radb:
Users that are interested in radb are comparing it to the libraries listed below
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 3 months ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆86Updated 2 months ago
- The BART Project: Benchmarking Algorithms for (data) Repairing and Translation☆38Updated last year
- Code and Benchmarks for JOSIE (SIGMOD 2019)☆18Updated last year
- The Llunatic Mapping and Cleaning Chase Engine☆36Updated last year
- CMDBAC - Carnegie Mellon Database Application Catalog☆36Updated 3 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- ☆10Updated 4 months ago
- ☆75Updated last year
- Benchmarking the Chase☆9Updated 7 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated last year
- Your worst case is our best case.☆138Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Interactive SQL analytics in your browser!☆22Updated 6 years ago
- Relational Algebra Interpreter writting in Python and Qt☆32Updated 4 months ago
- Tool for checking whether two SQL queries are equivalent☆37Updated last year
- ☆72Updated 3 years ago
- Flow graphs for Python☆25Updated 2 years ago
- Adding support for provenance and uncertainty management to PostgreSQL databases☆49Updated this week
- Python interpreter for TLA+ specifications☆113Updated 7 months ago
- Proposed documentation for alloytools.org☆70Updated 2 months ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- ☆24Updated 3 years ago
- Optimizing database queries with array programming☆18Updated 4 years ago
- Educational tool for relational algebra☆91Updated 8 months ago
- Types for Python☆86Updated 6 years ago