squares-sql/SQUARES external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

squares-sql/SQUARES

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/squares-sql/SQUARES)

Close

squares-sql / SQUARESView on GitHubMore

• External links
• Readme badge

A SQL and R Synthesizer Using Query Reverse Engineering

☆25Aug 11, 2020Updated 5 years ago

Alternatives and similar repositories for SQUARES

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

• fredfeng / Trinity

  View on GitHub
  ☆25Apr 18, 2025Updated 11 months ago
• alexeyignatiev / mkplot

  View on GitHub
  A Python script to create cactus and scatter plots based on matplotlib
  ☆27Mar 20, 2021Updated 5 years ago
• squaresLab / SOAR

  View on GitHub
  Synthesis API Refactor
  ☆12May 17, 2022Updated 3 years ago
• jonamuen / sql-reduce

  View on GitHub
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Oct 15, 2024Updated last year
• Mestway / Scythe

  View on GitHub
  Synthesizing SQL queries from input / output examples
  ☆46Nov 18, 2020Updated 5 years ago
• PingCAP-QE / wreck-it

  View on GitHub
  This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version
  ☆12May 12, 2020Updated 5 years ago
• season-lab / memsight

  View on GitHub
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆25Nov 21, 2024Updated last year
• purdue-cap / DryadSynth

  View on GitHub
  A SyGuS Solver
  ☆30May 18, 2025Updated 10 months ago
• cosven / db-testing

  View on GitHub
  scripts for testing TiDB
  ☆10Feb 4, 2026Updated last month
• utopia-group / sypet

  View on GitHub
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20May 24, 2018Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• sqlancer / bugs

  View on GitHub
  A list of bugs found by SQLancer
  ☆17Jan 30, 2024Updated 2 years ago
• pfnet-research / menoh-haskell

  View on GitHub
  Haskell binding for Menoh DNN inference library
  ☆12Nov 30, 2018Updated 7 years ago
• ochko / safeexec

  View on GitHub
  safe executor for programming contest auto judge system
  ☆25Sep 6, 2024Updated last year
• funemy / SWORD

  View on GitHub
  SWORD: A Whole Program Race Detector for Java
  ☆13Jan 30, 2021Updated 5 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• NAIST-SE / PATSQL

  View on GitHub
  PATSQL - SQL Synthesizer
  ☆15Sep 6, 2023Updated 2 years ago
• PingCAP-QE / matrix

  View on GitHub
  fuzzing for config
  ☆12Sep 15, 2020Updated 5 years ago
• umich-dbgroup / foofah

  View on GitHub
  Foofah: programming-by-example data transformation program synthesizer
  ☆28Apr 23, 2018Updated 7 years ago
• nminoru / pg_plan_tree_dot

  View on GitHub
  PostgreSQL extension which visualizes a plan tree using Graphviz
  ☆13Aug 11, 2020Updated 5 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 7 years ago
• binsec / rosa

  View on GitHub
  ROSA: Finding Backdoors with Fuzzing
  ☆46Mar 9, 2026Updated last week
• ligurio / elle-cli

  View on GitHub
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆32Jan 6, 2026Updated 2 months ago
• SERG-Delft / evosql

  View on GitHub
  Search-Based Test Data Generation for SQL Queries
  ☆94Aug 24, 2019Updated 6 years ago
• Percona-QA / pquery

  View on GitHub
  pquery is an open-source (GPLv2 licensed) multi-threaded test program, written in C++, created to stress test the MySQL server (in any fl…
  ☆59May 24, 2022Updated 3 years ago
• jasinb / sha1

  View on GitHub
  Simple implementation of SHA1 in C
  ☆12Apr 26, 2017Updated 8 years ago
• plseddl / plse-deadlines

  View on GitHub
  PL/SE conference deadline countdowns
  ☆19Nov 23, 2020Updated 5 years ago
• iradicek / clara

  View on GitHub
  CLuster And RepAir tool for introductory programming assignments
  ☆47Mar 9, 2024Updated 2 years ago
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• MrVPlusOne / Singularity

  View on GitHub
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆20Aug 24, 2021Updated 4 years ago
• bnediction / mpbn

  View on GitHub
  Brief Python implementation of Most Permissive Boolean Networks
  ☆21Mar 9, 2026Updated last week
• jyi / ITSP

  View on GitHub
  Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming
  ☆26May 21, 2019Updated 6 years ago
• postgrespro / pg_ycsb

  View on GitHub
  YCSB-like benchmark for pgbench
  ☆15Dec 18, 2017Updated 8 years ago
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 4 years ago
• Lingzhi-Ouyang / Remix

  View on GitHub
  ☆13Apr 10, 2025Updated 11 months ago
• wslee / duet

  View on GitHub
  ☆21Apr 11, 2025Updated 11 months ago
• PSU-Security-Universe / sqlright

  View on GitHub
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆64Oct 28, 2022Updated 3 years ago
• ProgramRepair / SearchRepair

  View on GitHub
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆27Mar 13, 2019Updated 7 years ago