Skip to content

@qed-solver qed-solver

Change the repository type filter

All

    Repositories list

    5 repositories

    • rulescript

      Public
      Rust impl of RuleScript based on Datafusion
      Rust
      •0•0•0•0•Updated Feb 9, 2026Feb 9, 2026

    • parser

      Public
      A simple SQL parser based on Apache Calcite.
      parsersql
      parsersql
      Java
      •
      Apache License 2.0
      •12•14•4•0•Updated Jan 17, 2026Jan 17, 2026

    • prover

      Public
      A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
      Rust
      •
      MIT License
      •7•76•1•0•Updated Sep 21, 2025Sep 21, 2025

    • .github

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

    • disprover

      Public
      Racket
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Jun 28, 2022Jun 28, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.