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:
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated last week
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated 3 weeks ago
- Fast instruction tuning with Llama2☆10Apr 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 6 months ago
- [NeurIPS 2025] Official PyTorch implementation of paper "Learning Grouped Lattice Vector Quantizers for Low-Bit LLM Compression".☆16Oct 24, 2025Updated 9 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.
- AI Agent and CLI for Code Translation and Software Development in Scientific Computing☆18Jul 31, 2026Updated last week
- mechanical stage☆12Aug 6, 2023Updated 3 years ago
- STAR: Similarity-guided Teacher-Assisted Refinement for Super-Tiny Function Calling Models☆59Apr 23, 2026Updated 3 months ago
- Python client to interact with the lean4 language server.☆46Jul 28, 2026Updated 2 weeks ago
- Metrics for evaluating biological sequence design☆15Jul 22, 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 7 months ago
- pyPFC: An Open-Source Python Package for Phase Field Crystal Simulations☆16Jun 25, 2026Updated last month
- Verifying the optimization phases of the GraalVM compiler☆15Jul 30, 2026Updated last week
- ☆20Mar 11, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆15Nov 1, 2022Updated 3 years ago
- Open source codebase for PRBench☆18Jan 15, 2026Updated 6 months ago
- ☆19Jan 29, 2026Updated 6 months ago
- 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☆59Feb 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 9 months ago
- Code and data release for FEABench: Evaluating Language Models on Multiphysics Reasoning Ability. [MATH-AI workshop, NeurIPS 2024]☆14May 7, 2025Updated last year
- Unsupervised Multimodal Clustering for Semantics Discovery in Multimodal Utterances (ACL 2024)☆31Dec 7, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [ACL 2026] DR-Arena: an Automated Evaluation Framework for Deep Research Agents☆17Jul 8, 2026Updated last month
- [ICSE 2024] Code Search is All You Need? Improving Code Suggestions With Code Search☆13Apr 24, 2024Updated 2 years ago
- High-Performance LLM Fine-Tuning Framework - 3.51x faster than Unsloth☆16Jan 6, 2026Updated 7 months ago
- Custom Keras ML block example for Edge Impulse☆12Jul 27, 2026Updated 2 weeks ago
- Run multiple shell commands in parallel with a tiny concurrently-style CLI.☆12Updated this week
- The official implementation of NOSA☆20Jun 11, 2026Updated 2 months ago
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- ☆17Updated this week
- ☆16Updated this week
- 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.
- ☆15Oct 15, 2025Updated 9 months ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆17Aug 20, 2025Updated 11 months ago
- ChemPrice is a software designed to simplify the gathering of pricing data from more than 100 suppliers by integrating with ChemSpace, Mc…☆17Jan 16, 2024Updated 2 years ago
- ☆18Aug 11, 2022Updated 4 years ago
- A proof of concept of a shared mathematical environment without need for version control or naming synchronization.☆25Mar 20, 2026Updated 4 months ago
- [ASPLOS 2026] M2XFP: A Metadata-Augmented Microscaling Data Format for Efficient Low-bit Quantization.☆16Jan 29, 2026Updated 6 months ago
- repository for "GPCRact: a hierarchical framework for predicting ligand-induced GPCR activity via allosteric communication modeling"☆24Apr 25, 2026Updated 3 months ago