Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
☆17Nov 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:
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated last month
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated last month
- CUDA GPU Benchmark☆40Jan 31, 2025Updated last year
- 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 7 months 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.
- [NeurIPS 2025] Official PyTorch implementation of paper "Learning Grouped Lattice Vector Quantizers for Low-Bit LLM Compression".☆16Oct 24, 2025Updated 10 months ago
- mechanical stage☆12Aug 6, 2023Updated 3 years ago
- Metrics for evaluating biological sequence design☆16Sep 1, 2026Updated 2 weeks ago
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 8 months ago
- Verifying the optimization phases of the GraalVM compiler☆15Sep 1, 2026Updated 2 weeks ago
- ☆21Mar 11, 2026Updated 6 months ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- ☆16Dec 10, 2025Updated 9 months ago
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 10 months 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.
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- A Code Efficiency Benchmark for Code Generation☆15May 26, 2025Updated last year
- Homeworks implementation of https://github.com/virginiakm1988/ML2022-Spring☆13Jan 28, 2023Updated 3 years ago
- ☆19Jan 29, 2026Updated 7 months ago
- A collection of publications that works on code models but beyond focusing on the accuracies.☆12Jun 30, 2023Updated 3 years ago
- Sutracli is an AI-powered code manager for coding agents. It spawns agents for multiple projects, connects repos through cross-indexing, …☆29Nov 7, 2025Updated 10 months ago
- [ACL 2026] DR-Arena: an Automated Evaluation Framework for Deep Research Agents☆18Jul 8, 2026Updated 2 months ago
- SorryDB indexes sorries in public lean repositories☆55Sep 8, 2026Updated last week
- High-Performance LLM Fine-Tuning Framework - 3.51x faster than Unsloth☆17Jan 6, 2026Updated 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.
- [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☆12Updated this week
- Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validati…☆38Dec 20, 2025Updated 9 months ago
- The official implementation of NOSA☆19Jun 11, 2026Updated 3 months ago
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- ☆17Aug 5, 2026Updated last month
- This is a framework for using large language models to improve ASR recognition accuracy. You need to provide the recognized text and tag …☆19Jun 5, 2025Updated last year
- ☆16Oct 15, 2025Updated 11 months ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆17Aug 20, 2025Updated last year
- 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.
- ChemPrice is a software designed to simplify the gathering of pricing data from more than 100 suppliers by integrating with ChemSpace, Mc…☆18Jan 16, 2024Updated 2 years ago
- ☆18Aug 11, 2022Updated 4 years ago
- [ASPLOS 2026] M2XFP: A Metadata-Augmented Microscaling Data Format for Efficient Low-bit Quantization.☆17Jan 29, 2026Updated 7 months ago
- repository for "GPCRact: a hierarchical framework for predicting ligand-induced GPCR activity via allosteric communication modeling"☆24Aug 30, 2026Updated 3 weeks ago
- ☆18Apr 15, 2024Updated 2 years ago
- Python tools for working with LAMMPS files☆16Aug 28, 2026Updated 3 weeks ago
- ☆16Nov 27, 2025Updated 9 months ago