Synthesis API Refactor
☆12May 17, 2022Updated 4 years ago
Alternatives and similar repositories for SOAR
Users that are interested in SOAR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Apr 18, 2025Updated last year
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated last year
- A SQL and R Synthesizer Using Query Reverse Engineering☆24Aug 11, 2020Updated 5 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆29Mar 20, 2021Updated 5 years ago
- ☆41Jan 24, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- writeups for the past CTF challenges☆15Nov 23, 2020Updated 5 years ago
- ☆16Aug 30, 2020Updated 5 years ago
- A benchmark of Python Library Migration☆15Apr 5, 2025Updated last year
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- ☆47Jan 24, 2026Updated 4 months ago
- ☆13Updated this week
- safe executor for programming contest auto judge system☆25Sep 6, 2024Updated last year
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Nov 28, 2023Updated 2 years ago
- Fork of the SPMF Open-Source Data Mining Library from Prof. Philippe Fournier-Viger☆17May 13, 2026Updated 3 weeks ago
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 3 years ago
- mypy plugin to type check Kubernetes resources☆26Sep 8, 2024Updated last year
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated last week
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 3 years ago
- 免费云端SillyTavern、酒馆AI使用指南，非常适合酒馆小白【2025年11月】☆20Nov 1, 2025Updated 7 months ago
- ☆13Aug 19, 2020Updated 5 years ago
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆26May 21, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories☆11Sep 21, 2025Updated 8 months ago
- ☆66Updated this week
- Spoofax implementation using PIE pipelines☆14Apr 29, 2025Updated last year
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆14May 13, 2025Updated last year
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 10 years ago
- ☆21Jul 19, 2025Updated 10 months ago
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 7 years ago
- REGEL: Regular Expression Generation from Examples and Language☆36Jul 11, 2022Updated 3 years ago
- sm2、sm3、sm4、sm9密码服务封装☆10Apr 26, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Easy Cmdliner☆14Apr 7, 2026Updated 2 months ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- Neural Networks with Tensorflow☆12Jun 9, 2018Updated 7 years ago
- COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit☆10Mar 30, 2018Updated 8 years ago
- ☆17Jul 4, 2020Updated 5 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆15Jun 29, 2020Updated 5 years ago