bloa / magpie
☆11Updated 2 months ago
Alternatives and similar repositories for magpie:
Users that are interested in magpie are comparing it to the libraries listed below
- Python General Framework for Genetic Improvement [Version 2]☆28Updated last year
- PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)☆30Updated 6 months ago
- ☆11Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆29Updated 7 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last week
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated last week
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 8 months ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 4 months ago
- CFG based program similarity using Graph Neural Networks☆35Updated last year
- A tool for mining graph-based change patterns in Python code☆19Updated 7 months ago
- Heavyweight Python dynamic analysis framework☆13Updated 9 months ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated 2 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆44Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆67Updated last month
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆14Updated 11 months ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆18Updated 2 years ago
- General-purpose program synthesiser☆37Updated 2 months ago
- Local relational access to openly-available publication data sets☆84Updated last week
- A static analysis tool to detect test data leakage in Python notebooks☆16Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆32Updated this week
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆25Updated 3 years ago
- A model-based API Fuzzer for SMT Solvers.☆12Updated last week
- Research material about software engineering at KTH☆18Updated 5 months ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆29Updated 6 months ago
- A curated list of software engineering research, data set, tool.☆32Updated 2 years ago
- Flow graphs for Python☆25Updated 2 years ago
- GI in No Time - a Simple Microframework for Genetic Improvement☆43Updated last month