bloa / magpie
☆11Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for magpie
- Python General Framework for Genetic Improvement [Version 2]☆28Updated 11 months ago
- Heavyweight Python dynamic analysis framework☆13Updated 7 months ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Flow graphs for Python☆25Updated 2 years ago
- ☆11Updated last year
- an implementation of "code2vec: Learning Distributed Representations of Code"☆29Updated 4 months ago
- A tool for mining graph-based change patterns in Python code☆19Updated 6 months ago
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆14Updated 9 months ago
- This repository implements the interaction with DBLP, information extraction and pre-processing of papers, and a client to store data to …☆10Updated last year
- General-purpose program synthesiser☆34Updated last month
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 7 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 11 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated last month
- ☆11Updated 3 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21Updated last year
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 3 years ago
- Interview questions for Computer Science faculty jobs☆36Updated 8 months ago
- ☆13Updated 8 months ago
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- ☆15Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- search-based software engineering☆16Updated 10 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- CFG based program similarity using Graph Neural Networks☆34Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- ☆10Updated 2 years ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- Scalable stochastic verification of continuous-depth models☆11Updated last year
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆18Updated 9 months ago