For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and Lin Tan
☆27Aug 27, 2025Updated 8 months ago
Alternatives and similar repositories for REPOCOD
Users that are interested in REPOCOD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Feb 28, 2024Updated 2 years ago
- ☆16Aug 16, 2023Updated 2 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 2 years ago
- Collections of research, benchmarks and tools towards more robust and reliable language models for code; LM4Code; LM4SE; reliable LLM; L…☆30Dec 14, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆40Jan 27, 2024Updated 2 years ago
- Utilizing code clone detection to generate comments automatically.☆17Aug 26, 2019Updated 6 years ago
- ☆17Mar 20, 2025Updated last year
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities☆42Apr 10, 2024Updated 2 years ago
- (AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to…☆13May 13, 2025Updated 11 months ago
- ☆10Apr 15, 2023Updated 3 years ago
- AUTOSAR C++ Guidelines - but accessible☆11May 18, 2024Updated last year
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Official repo of the paper Deep Regression Unlearning accepted in ICML 2023☆15Jun 14, 2023Updated 2 years ago
- Implementation of the SOTA Transformer architecture from PaLM - Scaling Language Modeling with Pathways in JAX/Flax☆14Jun 22, 2022Updated 3 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Mar 30, 2023Updated 3 years ago
- Top-tier conference papers on out-of-distribution detection☆11Jun 22, 2023Updated 2 years ago
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- ☆13Nov 8, 2022Updated 3 years ago
- Language-agnostic BERT Sentence Embedding (LaBSE) Pytorch Model☆21Sep 2, 2020Updated 5 years ago
- ☆16Jul 20, 2025Updated 9 months ago
- ☆54Jul 16, 2024Updated last year
- 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.
- This is the tool released in ICSE 2024 paper "Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Er…☆17Jun 5, 2023Updated 2 years ago
- ☆10Feb 12, 2020Updated 6 years ago
- ☆13Feb 29, 2024Updated 2 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ☆16Aug 26, 2023Updated 2 years ago
- ☆27Feb 19, 2026Updated 2 months ago
- BugsInPy: Benchmarking Bugs in Python Projects☆136Feb 10, 2026Updated 2 months ago
- A SCL Unit Testing library☆11Nov 13, 2018Updated 7 years ago
- For our ICSE23 paper "KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair" by Nan Jiang, Thibaud Lutellier, Yiling…☆33Sep 28, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆16Jan 17, 2024Updated 2 years ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆71Jan 22, 2026Updated 3 months ago
- ☆18Mar 18, 2024Updated 2 years ago
- Mutation-based Fault Localization of Deep Neural Networks☆10Jan 25, 2024Updated 2 years ago
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- ☆18Jun 30, 2022Updated 3 years ago
- SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution☆27Nov 11, 2025Updated 5 months ago