Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
☆16Nov 6, 2024Updated last year
Alternatives and similar repositories for CoTran
Users that are interested in CoTran are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆16Updated this week
- Train an LLM specifically designed for code translation, aimed at utilizing executability representations such as functional semantics, s…☆15May 8, 2026Updated 2 months ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Code for EACL 26 Findings paper "I-MCTS: Enhancing Agentic AutoML via Introspective Monte Carlo Tree Search"☆13Jan 28, 2026Updated 5 months ago
- [NeurIPS 2025] Official PyTorch implementation of paper "Learning Grouped Lattice Vector Quantizers for Low-Bit LLM Compression".☆15Oct 24, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- STAR: Similarity-guided Teacher-Assisted Refinement for Super-Tiny Function Calling Models☆50Apr 23, 2026Updated 2 months ago
- Metrics for evaluating biological sequence design☆15Jul 9, 2026Updated last week
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 6 months ago
- pyPFC: An Open-Source Python Package for Phase Field Crystal Simulations☆16Jun 25, 2026Updated 3 weeks ago
- ☆18Apr 2, 2026Updated 3 months ago
- ☆20Mar 11, 2026Updated 4 months ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- ☆16Dec 10, 2025Updated 7 months ago
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A log compression tool (ASE2024)☆17Apr 15, 2025Updated last year
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- Open source codebase for PRBench☆18Jan 15, 2026Updated 6 months ago
- A Code Efficiency Benchmark for Code Generation☆14May 26, 2025Updated last year
- ☆17Jan 29, 2026Updated 5 months ago
- [SIGIR 2025] The official repo for "Scaling Sparse and Dense Retrieval in Decoder-Only LLMs"☆22Mar 31, 2025Updated last year
- A collection of publications that works on code models but beyond focusing on the accuracies.☆12Jun 30, 2023Updated 3 years ago
- TrustAgent: Towards Safe and Trustworthy LLM-based Agents☆58Feb 7, 2025Updated last year
- Sutracli is an AI-powered code manager for coding agents. It spawns agents for multiple projects, connects repos through cross-indexing, …☆28Nov 7, 2025Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- [ACL 2026] DR-Arena: an Automated Evaluation Framework for Deep Research Agents☆17Jul 8, 2026Updated last week
- SorryDB indexes sorries in public lean repositories☆53Jun 22, 2026Updated 3 weeks ago
- High-Performance LLM Fine-Tuning Framework - 3.51x faster than Unsloth☆16Jan 6, 2026Updated 6 months ago
- [ICSE 2024] Code Search is All You Need? Improving Code Suggestions With Code Search☆13Apr 24, 2024Updated 2 years ago
- Custom Keras ML block example for Edge Impulse☆12Jun 30, 2026Updated 3 weeks ago
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆37Dec 20, 2025Updated 7 months ago
- The official implementation of NOSA☆19Jun 11, 2026Updated last month
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- This is a framework for using large language models to improve ASR recognition accuracy. You need to provide the recognized text and tag …☆17Jun 5, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Jul 3, 2026Updated 2 weeks ago
- ☆15Oct 15, 2025Updated 9 months ago
- ☆18Aug 11, 2022Updated 3 years ago
- [ASPLOS 2026] M2XFP: A Metadata-Augmented Microscaling Data Format for Efficient Low-bit Quantization.☆15Jan 29, 2026Updated 5 months ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆25Mar 20, 2026Updated 4 months ago
- ☆18Apr 15, 2024Updated 2 years ago
- Python tools for working with LAMMPS files☆16Updated this week