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:
- ☆9Updated 6 months ago
- ☆10Updated 6 years ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- ☆10Updated 4 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
- Pure Kotlin CDCL SAT solver☆9Updated last year
- The PERPL Compiler☆13Updated 2 months ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 3 years ago
- ☆16Updated last year
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A multi-language tokenizer for extracting identifiers from source code.☆24Updated 3 years ago
- ☆20Updated 3 months ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 3 years ago
- General-purpose program synthesiser☆46Updated 8 months 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
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆22Updated last year
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38Updated 3 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker☆21Updated 2 years ago
- Grammar prioritization support for EUSolver.☆13Updated 5 years ago
- ☆19Updated 3 years ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 8 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 3 years ago