ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
☆27Mar 27, 2022Updated 4 years ago
Alternatives and similar repositories for many-types-4-py-dataset
Users that are interested in many-types-4-py-dataset are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mining tool and large-scale datasets of single statement bug fixes in Python☆20Nov 29, 2023Updated 2 years ago
- ☆10Aug 25, 2020Updated 6 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 4 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆67Sep 6, 2023Updated 3 years ago
- ☆30Sep 28, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- Source codes for paper ”ReACC: A Retrieval-Augmented Code Completion Framework“☆67Apr 18, 2022Updated 4 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆33Jul 9, 2023Updated 3 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆87May 10, 2021Updated 5 years ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Feb 8, 2023Updated 3 years ago
- Agentic predicate synthesis for directed fuzzing☆14Oct 10, 2026Updated last month
- 🔍 Code Search Tools & Experiments☆13Oct 21, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for the paper "A Theoretical Analysis of the Repetition Problem in Text Generation" in AAAI 2021.☆56Nov 1, 2022Updated 4 years ago
- PolyBench/Python is the reimplementation of PolyBench in the Python programming language. It is a benchmark suite of 30 numerical computa…☆10Feb 23, 2021Updated 5 years ago
- Evaluation of source authorship attribution tool☆24Jun 5, 2021Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆18Oct 14, 2026Updated 3 weeks ago
- Code Snippet Recommendation from Stack Overflow Post☆18Jun 30, 2021Updated 5 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"☆58Mar 20, 2024Updated 2 years ago
- An approximate implementation of the OpenAI paper - An Empirical Model of Large-Batch Training for MNIST☆11Nov 19, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆57Mar 21, 2024Updated 2 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆41Jun 20, 2021Updated 5 years ago
- Code for paper 'Are We Falling in a Middle-Intelligence Trap? An Analysis and Mitigation of the Reversal Curse'☆14Aug 2, 2024Updated 2 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- CatIss is an intelligent tool for automatic categorization of issue reports based on the RoBERTa model.☆12Mar 8, 2022Updated 4 years ago
- ☆20Mar 6, 2023Updated 3 years ago
- The official code of EMNLP 2022, "SCROLLS: Standardized CompaRison Over Long Language Sequences".☆69Jan 12, 2024Updated 2 years ago
- Community Regularization of Visually Grounded Dialog https://arxiv.org/abs/1808.04359☆15May 16, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of OpenAI paper with Simple Noise Scale on Fastai V2☆19Apr 16, 2021Updated 5 years ago
- A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany☆14Apr 3, 2026Updated 7 months ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Oct 17, 2019Updated 7 years ago
- ☆35Sep 12, 2019Updated 7 years ago
- An Excel formula parser☆12Mar 3, 2019Updated 7 years ago
- ☆109Jun 20, 2023Updated 3 years ago
- Enhacing Code Pre-trained Models by Contrastive Learning☆41Mar 8, 2023Updated 3 years ago
Are these results useful?