saltudelft / type4py
Type4Py: Deep Similarity Learning-Based Type Inference for Python
☆62Updated last year
Alternatives and similar repositories for type4py:
Users that are interested in type4py are comparing it to the libraries listed below
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 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
- Probabilistic Type Inference using Graph Neural Networks☆49Updated 2 years ago
- A GitHub Action for suggesting Python type annotations.☆42Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆30Updated last year
- Fork of the awesome function_parser library from Github's CodeSearchNet Challenge repo: https://github.com/github/CodeSearchNet/tree/mast…☆28Updated 2 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
- ☆23Updated 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
- 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
- Mining tool and large-scale datasets of single statement bug fixes in Python☆16Updated last year
- A toolkit for pre-processing large source code corpora☆47Updated 2 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21Updated last year
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆22Updated 3 years ago
- an implementation of "code2vec: Learning Distributed Representations of Code"☆30Updated 8 months ago
- A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"☆48Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆99Updated last year
- A Python 3 module that provides functions for splitting identifiers found in source code files.☆47Updated 2 years ago
- Set of tools to help working with "Big Code"☆43Updated 2 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
- Flow graphs for Python☆25Updated 2 years ago
- A tool for mining graph-based change patterns in Python code☆19Updated 10 months ago
- Set of PyTorch modules for developing and evaluating different algorithms for embedding trees.☆22Updated 3 years ago
- A corpus of Python programs annotated with contracts☆21Updated 2 years ago
- Utilities used by the Deep Program Understanding team☆102Updated last year
- Static code analysis package for Python repositories☆30Updated last year
- Finding similar repositories on GitHub☆48Updated 2 years ago
- REGEL: Regular Expression Generation from Examples and Language☆34Updated 2 years ago
- Evaluation of source authorship attribution tool☆23Updated 3 years ago