utopia-group / regel
REGEL: Regular Expression Generation from Examples and Language
☆33Updated 2 years ago
Alternatives and similar repositories for regel:
Users that are interested in regel are comparing it to the libraries listed below
- A Java program synthesizer.☆21Updated 5 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- ☆49Updated 5 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- Program Synthesis☆145Updated 3 years 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
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- Code for generating the JuICe dataset.☆36Updated 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
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 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…☆30Updated 4 years ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated 7 months ago
- Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)☆36Updated 4 years ago
- Official repository for PraPR source code☆14Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Hoppity☆59Updated 4 years ago
- An curated list of papers on program synthesis.☆68Updated 5 years ago
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆35Updated 2 years ago
- evaluation dataset consisting of natural language query and code snippet pairs☆123Updated 10 months ago
- ☆10Updated 4 years ago
- A toolkit for pre-processing large source code corpora☆47Updated 2 years ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- Deepcoder paper implementation☆113Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 9 months ago
- Flow graphs for Python☆25Updated 2 years ago