Repositories list

• .github

  Public
  0•0•0•0•Updated Nov 9, 2024Nov 9, 2024

• prover

  Public
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

  Rust

  •

  MIT License

  •2•37•1•0•Updated Jun 2, 2024Jun 2, 2024

• parser

  Public
  A simple SQL parser based on Apache Calcite.

  parsersql

  Java

  •

  Apache License 2.0

  •3•8•1•0•Updated May 16, 2024May 16, 2024

• disprover

  Public
  Racket

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated Jun 28, 2022Jun 28, 2022