Alternatives and similar repositories for radb:

Users that are interested in radb are comparing it to the libraries listed below

• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 4 months ago
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆138Updated 7 years ago
• USEPA / FDTool
  ☆18Updated 5 years ago
• cmu-db / cmdbac
  CMDBAC - Carnegie Mellon Database Application Catalog
  ☆36Updated 3 years ago
• uwescience / raco
  Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…
  ☆72Updated 7 years ago
• gbagan / gmark
  ☆42Updated last year
• cornelldbgroup / skinnerdb
  SkinnerDB is an analytical database management system. It uses adaptive processing and reinforcement learning to find near-optimal join o…
  ☆48Updated last year
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 9 months ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago
• gh-rdf3x / gh-rdf3x
  Extension of the rdf3x engine and the translatesparql tool.
  ☆46Updated 11 years ago
• umich-dbgroup / foofah
  Foofah: programming-by-example data transformation program synthesizer
  ☆27Updated 6 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 3 years ago
• jarulraj / postgresql-cpp
  C++11 port of the PostgreSQL DBMS
  ☆68Updated 8 years ago
• robmccoll / graphdb-testing
  Benchmarking various graph databases, engines, datastructures, and data stores.
  ☆35Updated 11 years ago
• sfu-db / BOExplain
  Explaining Inference Queries with Bayesian Optimization
  ☆10Updated 4 years ago
• Sable / HorsePower
  Optimizing database queries with array programming
  ☆18Updated 4 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆95Updated 6 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆63Updated 3 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated last year
• DeLaChance / LCR
  Master's thesis project involving label-constrained reachability (LCR)
  Updated 3 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆87Updated 4 months ago
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated 10 months ago
• socialite-lang / socialite
  SociaLite: query language for large-scale graph analysis and data mining
  ☆110Updated 8 years ago
• ds4se / chapters
  Perspectives on Data Science for Software Engineering
  ☆61Updated 2 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆47Updated 9 months ago