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:
- A repostory with several COBOL libraries [intended to be used with the latest COBOL standard], each containing a number of very useful fu…☆13Feb 10, 2025Updated last year
- CICS Process Management Application☆12Jun 6, 2020Updated 6 years ago
- Samples for use with IBM Dependency Based Build☆17Mar 15, 2019Updated 7 years ago
- Public releases of the msmJAX fast electrostatics code☆13Mar 26, 2026Updated 7 months ago
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆17Oct 24, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Jan 15, 2026Updated 9 months ago
- A small program in COBOL for a Bank Account☆10Jun 30, 2024Updated 2 years ago
- Library to dock molecules in crystal structures, including nanoporous materials☆15Sep 14, 2026Updated last month
- Beta Version. Browse and run all mhub models directly within 3D Slicer.☆12Sep 9, 2026Updated last month
- ☆13Feb 5, 2026Updated 8 months ago
- [ICLR 2026] Training Visual Reasoners with Multimodal Verifiers☆15Jun 12, 2026Updated 4 months ago
- A Python package for designing RNA nanostructures with GUI. Official repository.☆16Jul 25, 2026Updated 3 months ago
- Contains a sample CICS COBOL and IMS COBOL application that uses the API Requester function of z/OS Connect EE.☆16Feb 28, 2023Updated 3 years ago
- AI Agent and CLI for Code Translation and Software Development in Scientific Computing☆22Oct 14, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- mechanical stage☆12Aug 6, 2023Updated 3 years ago
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- [NeurIPS 2025] Official PyTorch implementation of paper "Learning Grouped Lattice Vector Quantizers for Low-Bit LLM Compression".☆16Oct 24, 2025Updated last year
- A Question Generation Application leveraging RAG and Weaviate vector store to be able to retrieve relative contexts and generate a more u…☆17Feb 3, 2025Updated last year
- Official implementation of NoWag: A Unified Framework for Shape Preserving Compression of Large Language Models [COLM 2025]☆12Dec 5, 2025Updated 10 months ago
- caskade manages simulator parameters for you☆14Jul 27, 2026Updated 3 months ago
- The DayTrader 3 benchmark sample, which is a Java EE 6 application built around the paradigm of an online stock trading system.☆14Nov 18, 2019Updated 6 years ago
- A lightweight kmer-based algorithm for designing diagnostic CRISPR assays using genome data.☆13Aug 19, 2024Updated 2 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The official repository for QWHA☆13Sep 17, 2025Updated last year
- Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization☆15Apr 5, 2026Updated 6 months ago
- [WWW 2026 Oral] Official code for our paper "Reading Between the Lines: Towards Reliable Black-box LLM Fingerprinting via Zeroth-order Gr…☆12Jan 21, 2026Updated 9 months ago
- Code for EACL 26 Findings paper "I-MCTS: Enhancing Agentic AutoML via Introspective Monte Carlo Tree Search"☆13Jan 28, 2026Updated 9 months ago
- ☆13May 5, 2026Updated 5 months ago
- Metrics for evaluating biological sequence design☆16Sep 1, 2026Updated last month
- Verifying the optimization phases of the GraalVM compiler☆15Sep 28, 2026Updated last month
- ☆19Jan 29, 2026Updated 9 months ago
- pyPFC: An Open-Source Python Package for Phase Field Crystal Simulations☆17Oct 13, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Sutracli is an AI-powered code manager for coding agents. It spawns agents for multiple projects, connects repos through cross-indexing, …☆29Nov 7, 2025Updated 11 months ago
- VICON: Vision In-Context Operator Networks for Multi-Physics Fluid Dynamics Prediction☆11Mar 11, 2026Updated 7 months ago
- Autonomous Materials Discovery with Large Language Models☆26Oct 23, 2024Updated 2 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- Language comparison project☆14Sep 1, 2026Updated last month
- ☆16Oct 15, 2025Updated last year
- Run multiple shell commands in parallel with a tiny concurrently-style CLI.☆11Aug 5, 2026Updated 2 months ago