jin-guo / COMP598_Fall2020Links
☆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 9 months ago
- Companion repository for the book "Introduction to Software Design with Java"☆133Updated 2 weeks ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Program Synthesis Course☆254Updated last year
- ☆8Updated 3 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- Resources for the 2021 offering of COMP 598☆23Updated 3 years ago
- 58069 Java source code diffs. http://arxiv.org/pdf/1807.03200☆94Updated 5 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- ☆20Updated 2 months ago
- Starter project configuration for my COMP 303 Software Development course at McGill University☆12Updated 2 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- ☆40Updated 6 years ago
- ☆9Updated 5 months ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples☆77Updated 5 years ago
- Practical Program Repair via Bytecode Mutation☆65Updated 3 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- Your library for dynamic language modeling☆67Updated 6 years ago
- A Java program synthesizer.☆21Updated 6 years ago