coinse / pyggiLinks
Python General Framework for Genetic Improvement [Version 2]
☆31Updated 2 years ago
Alternatives and similar repositories for pyggi
Users that are interested in pyggi are comparing it to the libraries listed below
Sorting:
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- Dynamic analysis framework for Python☆79Updated 4 months ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Updated last year
- Mining Relevant Fix Patterns for Automated Program Repair☆30Updated 2 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 10 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- ☆12Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 10 months ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- ☆31Updated 3 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆71Updated 2 years ago
- Multi-Objective GP for Automated Repair of Java☆45Updated 3 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆24Updated 3 years ago
- Research material about software engineering at KTH☆18Updated last year
- Python3 control flow graph generator☆205Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆24Updated 3 years ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆47Updated last week
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- ☆14Updated 2 weeks ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆98Updated 4 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- A Modern Probabilistic Model Checker☆153Updated last week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- ☆46Updated last year
- Python Bindings for the Probabilistic Model Checker Storm☆37Updated this week
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆46Updated 5 years ago