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
- COMP303-Software Design at McGill University☆85Updated 6 months ago
- Companion repository for the book "Introduction to Software Design with Java"☆131Updated last month
- 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
- ☆10Updated 6 years ago
- ☆10Updated 4 years ago
- ☆48Updated 11 months ago
- ☆9Updated 2 months ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 6 years ago
- Resources for the 2021 offering of COMP 598☆23Updated 3 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- A tool for mining graph-based change patterns in Python code☆19Updated 10 months ago
- ☆8Updated 3 years ago
- General-purpose program synthesiser☆43Updated 5 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
- Official repository for PraPR source code☆14Updated 3 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆53Updated 5 years ago
- ☆12Updated 3 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…☆30Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- ☆18Updated 3 years ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆59Updated 2 years ago
- The Boa language reference compiler.☆33Updated 3 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Flow graphs for Python☆25Updated 2 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- ☆26Updated last month