PrithwishJana / CoTranLinks
Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
☆15Updated last year
Alternatives and similar repositories for CoTran
Users that are interested in CoTran are comparing it to the libraries listed below
Sorting:
- ☆27Updated last year
- ☆24Updated 2 months ago
- Clover: Closed-Loop Verifiable Code Generation☆42Updated 8 months ago
- A comprehensive code domain benchmark review of LLM researches.☆194Updated 4 months ago
- EvoEval: Evolving Coding Benchmarks via LLM☆81Updated last year
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆48Updated 2 months ago
- Repo-Level Code generation papers☆231Updated last month
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Updated 4 months ago
- Dianshu-Liao / AAA-Code-Generation-Framework-for-Code-Repository-Local-Aware-Global-Aware-Third-Party-Aware☆24Updated 2 years ago
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆27Updated 4 months ago
- Must-read papers on Repository-level Code Generation & Issue Resolution 🔥☆245Updated last month
- Efficient and general syntactical decoding for Large Language Models☆316Updated 2 weeks ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆24Updated 8 months ago
- ☆57Updated last year
- RepairAgent is an autonomous LLM-based agent for software repair.☆82Updated 6 months ago
- ✨ RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems - ICLR 2024☆186Updated last year
- Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey". Keep updating.☆525Updated 10 months ago
- Enhancing AI Software Engineering with Repository-level Code Graph☆248Updated 10 months ago
- LLM agent to automatically set up arbitrary projects and run their test suites☆58Updated last week
- [NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents☆532Updated this week
- Graph-based neural tactic prediction models for Coq.☆15Updated 4 months ago
- ☆131Updated 7 months ago
- The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".☆85Updated last year
- Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.☆241Updated this week
- Pip compatible CodeBLEU metric implementation available for linux/macos/win☆128Updated 10 months ago
- ☆65Updated last year
- Live-SWE-agent: live, runtime self-evolving software engineering agent☆226Updated last week
- ☆50Updated last year
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆139Updated 9 months ago
- A Comprehensive Benchmark for Software Development.☆127Updated last year