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
Sorting:
- ☆25Apr 18, 2025Updated 10 months ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 5 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 4 years ago
- 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
- ☆39Jan 24, 2026Updated last month
- (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
- A game for Lounge's game jam☆10Mar 22, 2015Updated 10 years ago
- COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit☆10Mar 30, 2018Updated 7 years ago
- A benchmark of Python Library Migration☆14Apr 5, 2025Updated 10 months ago
- 免费云端SillyTavern、酒馆AI使用指南,非常适合酒馆小白【2025年11月】☆16Nov 1, 2025Updated 3 months ago
- A fully featured Pokemon game a team of 4 guys made in high school.☆15Jul 13, 2020Updated 5 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Updated this week
- ☆46Jan 24, 2026Updated last month
- Code search model based the self-attention☆12Oct 16, 2020Updated 5 years ago
- Python Multiplayer Game library☆14Aug 24, 2020Updated 5 years ago
- sm2、sm3、sm4、sm9密码服务封装☆10Apr 26, 2021Updated 4 years ago
- 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
- ☆16Aug 30, 2020Updated 5 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- Neural Networks with Tensorflow☆12Jun 9, 2018Updated 7 years ago
- Find-and-replace patterns for the Go language.☆10Sep 24, 2022Updated 3 years ago
- Code for the paper Data-to-Text Generation with Iterative Text Editing☆14Mar 23, 2021Updated 4 years ago
- DataSet and source code for PyART☆11Nov 27, 2022Updated 3 years ago
- `comby.el` is a simple wrapper around comby - https://comby.dev/☆15Jun 29, 2020Updated 5 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- ☆14May 31, 2021Updated 4 years ago
- Easy Cmdliner☆13Jan 12, 2026Updated last month
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- writeups for the past CTF challenges☆14Nov 23, 2020Updated 5 years ago
- Spoofax implementation using PIE pipelines☆14Apr 29, 2025Updated 10 months ago
- ☆13Aug 19, 2020Updated 5 years ago
- Zalando's article images Recognition using Convolutional Neural Networks in Python with Keras.☆13Oct 1, 2020Updated 5 years ago
- AIML-based conversational bot server☆16Jan 17, 2012Updated 14 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Block Discrete Cosine Transform (block DCT) using TensorFlow☆15Nov 8, 2018Updated 7 years ago
- Portable C++ canvas library with a Vulkan backend. Very WIP☆13Nov 17, 2025Updated 3 months ago
- Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories☆11Sep 21, 2025Updated 5 months ago
- ☆15Oct 26, 2021Updated 4 years ago