squaresLab/SOAR 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

squaresLab/SOAR

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/squaresLab/SOAR)

Close

squaresLab / SOARView on GitHubMore

• External links
• Readme badge

Synthesis API Refactor

☆12May 17, 2022Updated 3 years ago

Alternatives and similar repositories for SOAR

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

• fredfeng / Trinity

  View on GitHub
  ☆25Apr 18, 2025Updated 11 months ago
• Marghrid / FOREST

  View on GitHub
  Regular expression for form validations synthesizer
  ☆15Apr 17, 2025Updated 11 months ago
• squares-sql / SQUARES

  View on GitHub
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Aug 11, 2020Updated 5 years ago
• alexeyignatiev / mkplot

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

  View on GitHub
  ☆39Jan 24, 2026Updated last month
• havrikov / covering-input-structure

  View on GitHub
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆10Jul 6, 2023Updated 2 years ago
• saurav3199 / CTF-writeups

  View on GitHub
  writeups for the past CTF challenges
  ☆15Nov 23, 2020Updated 5 years ago
• aliasrobotics / ros1_fuzzer

  View on GitHub
  ☆16Aug 30, 2020Updated 5 years ago
• ualberta-smr / PyMigBench

  View on GitHub
  A benchmark of Python Library Migration
  ☆14Apr 5, 2025Updated 11 months ago
• ChrisTimperley / comby-python

  View on GitHub
  Python bindings for Comby
  ☆13Nov 7, 2023Updated 2 years ago
• asolarlez / sketch-backend

  View on GitHub
  ☆46Jan 24, 2026Updated last month
• DLu / ros_metrics

  View on GitHub
  ☆13Mar 6, 2026Updated 2 weeks ago
• ochko / safeexec

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

  View on GitHub
  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
  ☆29Jun 21, 2022Updated 3 years ago
• cmu-rss-lab / rosdiscover

  View on GitHub
  ☆18Nov 28, 2023Updated 2 years ago
• matfax / spmf

  View on GitHub
  Fork of the SPMF Open-Source Data Mining Library from Prof. Philippe Fournier-Viger
  ☆17Mar 8, 2026Updated last week
• lyxell / logifix

  View on GitHub
  Fixing static analysis violations in Java source code using Datalog
  ☆17Sep 20, 2022Updated 3 years ago
• gordonbondon / kubernetes-typed

  View on GitHub
  mypy plugin to type check Kubernetes resources
  ☆27Sep 8, 2024Updated last year
• sourcegraph / sbt-sourcegraph

  View on GitHub
  sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence
  ☆16Updated this week
• sillytavern-ai / sillytavern

  View on GitHub
  免费云端SillyTavern、酒馆AI使用指南，非常适合酒馆小白【2025年11月】
  ☆17Nov 1, 2025Updated 4 months ago
• SMAT-Lab / SnifferDog

  View on GitHub
  Restoring Execution Environments of Jupyter Notebooks
  ☆21May 29, 2023Updated 2 years ago
• bernardohenz / synt_noise_GANs

  View on GitHub
  ☆13Aug 19, 2020Updated 5 years ago
• jyi / ITSP

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

  View on GitHub
  Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories
  ☆11Sep 21, 2025Updated 5 months ago
• metaborg / spoofax-pie

  View on GitHub
  Spoofax implementation using PIE pipelines
  ☆14Apr 29, 2025Updated 10 months ago
• lishangyu-hkust / OSVBench

  View on GitHub
  (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…
  ☆13May 13, 2025Updated 10 months ago
• movingname / fuzzingModel

  View on GitHub
  Empirical Analysis and Modeling of Black-Box Mutational Fuzzing
  ☆10Mar 30, 2016Updated 9 years ago
• rospypi / rosidl_generator_mypy

  View on GitHub
  ☆21Jul 19, 2025Updated 8 months ago
• comby-tools / go-patterns

  View on GitHub
  Find-and-replace patterns for the Go language.
  ☆10Sep 24, 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
• utopia-group / regel

  View on GitHub
  REGEL: Regular Expression Generation from Examples and Language
  ☆34Jul 11, 2022Updated 3 years ago
• iupikachu / SM9-Start-Util

  View on GitHub
  sm2、sm3、sm4、sm9密码服务封装
  ☆10Apr 26, 2021Updated 4 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated 2 months ago
• Tritlo / PropR

  View on GitHub
  Genetic program repair using GHC
  ☆33May 16, 2024Updated last year
• ml-resources / neuralnetwork-programming

  View on GitHub
  Neural Networks with Tensorflow
  ☆12Jun 9, 2018Updated 7 years ago
• squaresLab / COBOLd

  View on GitHub
  COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit
  ☆10Mar 30, 2018Updated 7 years ago
• rvantonder / lsif-ocaml

  View on GitHub
  ☆16Jul 4, 2020Updated 5 years ago
• stripedpajamas / ocaml-ulid

  View on GitHub
  an ocaml package to generate ULIDs
  ☆19Jan 2, 2019Updated 7 years ago
• s-kostyaev / comby.el

  View on GitHub
  `comby.el` is a simple wrapper around comby - https://comby.dev/
  ☆15Jun 29, 2020Updated 5 years ago