rbavishi / atlasLinks
A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
☆21Updated 4 years ago
Alternatives and similar repositories for atlas
Users that are interested in atlas are comparing it to the libraries listed below
Sorting:
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.☆54Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Paper Artifacts for "Aroma: Code Recommendation via Structural Code Search"☆59Updated 4 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆65Updated 2 years ago
- Utilities used by the Deep Program Understanding team☆103Updated 2 years ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated last year
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆61Updated 2 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆215Updated 10 months ago
- [ICML 2020] DrRepair: Learning to Repair Programs from Error Messages☆195Updated 4 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- Website for "A Survey of Machine Learning for Big Code and Naturalness"☆291Updated 8 months ago
- ☆10Updated 6 years ago
- [ICSE'18] Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code☆22Updated 7 years ago
- Program Synthesis Course☆264Updated last year
- An curated list of papers on program synthesis.☆69Updated 6 years ago
- Deepcoder paper implementation☆120Updated 2 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Updated 2 years ago
- Deep learning program generator☆107Updated last year
- A toolkit for pre-processing large source code corpora☆47Updated 3 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- program synthesis is possible☆41Updated 6 years ago
- Probabilistic API Mining☆53Updated 7 years ago
- ☆41Updated 6 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 7 years ago
- evaluation dataset consisting of natural language query and code snippet pairs☆124Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- ☆50Updated 5 years ago