jin-guo / COMP598_Fall2020
☆12Updated 3 years ago
Alternatives and similar repositories for COMP598_Fall2020
Users that are interested in COMP598_Fall2020 are comparing it to the libraries listed below
Sorting:
- COMP303-Software Design at McGill University☆85Updated 7 months ago
- ☆10Updated 4 years ago
- ☆10Updated 6 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Updated last year
- ☆9Updated 4 months ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Resources for the 2021 offering of COMP 598☆23Updated 3 years ago
- ☆24Updated 3 years ago
- Companion repository for the book "Introduction to Software Design with Java"☆132Updated 3 months ago
- Introduction to Software Design with Java☆154Updated 4 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- ☆16Updated 10 months ago
- A Java program synthesizer.☆21Updated 6 years ago
- Data, Code and Results from the ICSE 2019 accepted paper: Analysis and Detection of Information Types of Open Source Software Issue Discu…☆12Updated 6 years ago
- ☆18Updated 3 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆36Updated 2 years ago
- homepage for proFL☆23Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆31Updated 4 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 4 months ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆16Updated last year
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- ☆42Updated 7 months ago
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808☆85Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆37Updated 2 years ago