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 10 months ago
• Marghrid / FOREST

  View on GitHub
  Regular expression for form validations synthesizer
  ☆15Apr 17, 2025Updated 10 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 4 years ago
• 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
• asolarlez / sketch-frontend

  View on GitHub
  ☆39Jan 24, 2026Updated last month
• 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 9 months ago
• copy / falling-fellow

  View on GitHub
  A game for Lounge's game jam
  ☆10Mar 22, 2015Updated 10 years ago
• squaresLab / COBOLd

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

  View on GitHub
  A benchmark of Python Library Migration
  ☆14Apr 5, 2025Updated 10 months ago
• sillytavern-ai / sillytavern

  View on GitHub
  免费云端SillyTavern、酒馆AI使用指南，非常适合酒馆小白【2025年11月】
  ☆16Nov 1, 2025Updated 3 months ago
• Camtendo / jokemon

  View on GitHub
  A fully featured Pokemon game a team of 4 guys made in high school.
  ☆15Jul 13, 2020Updated 5 years ago
• sourcegraph / sbt-sourcegraph

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

  View on GitHub
  ☆46Jan 24, 2026Updated last month
• TomasAndersonFang / SANCS

  View on GitHub
  Code search model based the self-attention
  ☆12Oct 16, 2020Updated 5 years ago
• agoose77 / PyAuthServer

  View on GitHub
  Python Multiplayer Game library
  ☆14Aug 24, 2020Updated 5 years ago
• iupikachu / SM9-Start-Util

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

  View on GitHub
  This project mainly includes a pure Restricted Boltzmann Machine (RBM) model and a conditional RBM model. Unpolished versions of Factored…
  ☆22Nov 26, 2012Updated 13 years ago
• aliasrobotics / ros1_fuzzer

  View on GitHub
  ☆16Aug 30, 2020Updated 5 years ago
• movingname / fuzzingModel

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

  View on GitHub
  Neural Networks with Tensorflow
  ☆12Jun 9, 2018Updated 7 years ago
• comby-tools / go-patterns

  View on GitHub
  Find-and-replace patterns for the Go language.
  ☆10Sep 24, 2022Updated 3 years ago
• kasnerz / d2t_iterative_editing

  View on GitHub
  Code for the paper Data-to-Text Generation with Iterative Text Editing
  ☆14Mar 23, 2021Updated 4 years ago
• PYART0 / PyART

  View on GitHub
  DataSet and source code for PyART
  ☆11Nov 27, 2022Updated 3 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
• marcelosousa / descartes

  View on GitHub
  descartes: the cartesian hoare logic prover
  ☆12Feb 23, 2017Updated 9 years ago
• TruX-DTF / APR-Efficiency

  View on GitHub
  ☆14May 31, 2021Updated 4 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated last month
• kaist-plrg / concrat

  View on GitHub
  Concurrent-C to Rust Automatic Translator
  ☆15Jan 26, 2023Updated 3 years ago
• saurav3199 / CTF-writeups

  View on GitHub
  writeups for the past CTF challenges
  ☆14Nov 23, 2020Updated 5 years ago
• metaborg / spoofax-pie

  View on GitHub
  Spoofax implementation using PIE pipelines
  ☆14Apr 29, 2025Updated 10 months ago
• bernardohenz / synt_noise_GANs

  View on GitHub
  ☆13Aug 19, 2020Updated 5 years ago
• umbertogriffo / Fashion-mnist-cnn-keras

  View on GitHub
  Zalando's article images Recognition using Convolutional Neural Networks in Python with Keras.
  ☆13Oct 1, 2020Updated 5 years ago
• noelbush-xx / programd

  View on GitHub
  AIML-based conversational bot server
  ☆16Jan 17, 2012Updated 14 years ago
• ChrisTimperley / comby-python

  View on GitHub
  Python bindings for Comby
  ☆13Nov 7, 2023Updated 2 years ago
• mdipcit / tensorflow-block-DCT

  View on GitHub
  Block Discrete Cosine Transform (block DCT) using TensorFlow
  ☆15Nov 8, 2018Updated 7 years ago
• Haeri / elementalDraw

  View on GitHub
  Portable C++ canvas library with a Vulkan backend. Very WIP
  ☆13Nov 17, 2025Updated 3 months 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
• jianguda / afm4acs

  View on GitHub
  ☆15Oct 26, 2021Updated 4 years ago