Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution
☆15Nov 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:
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆23Updated this week
- A production-grade implementation of an Investment Portfolio Management System created for testing LLM translation of real world legacy a…☆21Oct 30, 2024Updated last year
- A repostory with several COBOL libraries [intended to be used with the latest COBOL standard], each containing a number of very useful fu…☆12Feb 10, 2025Updated last year
- Official Go SDK for the Dedalus API☆38Apr 22, 2026Updated last week
- anything you want can be built with morph cloud☆28Oct 14, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Multi-Agent LangGraph System☆13May 22, 2025Updated 11 months ago
- CICS Process Management Application☆12Jun 6, 2020Updated 5 years ago
- Fast instruction tuning with Llama2☆11Apr 8, 2024Updated 2 years ago
- OpenCL to CUDA converter☆16Jan 7, 2017Updated 9 years ago
- A small program in COBOL for a Bank Account☆11Jun 30, 2024Updated last year
- An open-ended, self-improving AI system that evolves its own source code using a local LLM. Built for autonomy, reflection, and code evol…☆23Jan 24, 2026Updated 3 months ago
- Domain Generation Algorithms research papers, datasets and code☆15May 17, 2020Updated 5 years ago
- 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
- STAR: Similarity-guided Teacher-Assisted Refinement for Super-Tiny Function Calling Models☆45Updated this week
- 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.
- macrogpt大模型全量预训练(1b3,32层), 多卡deepspeed/单卡adafactor☆15Nov 30, 2023Updated 2 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Contains a sample CICS COBOL and IMS COBOL application that uses the API Requester function of z/OS Connect EE.☆15Feb 28, 2023Updated 3 years ago
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆14Nov 1, 2022Updated 3 years ago
- Unify your SQL schema and your GraphQL Schema. Use GraphQL SDL as the lingua franca to define your data requirements.☆16Mar 19, 2024Updated 2 years ago
- Maven plugin with jooq, liquibase and postgres☆11Aug 15, 2023Updated 2 years ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆14May 10, 2025Updated 11 months ago
- z/OS-based Enterprise Cache Service☆26Dec 22, 2021Updated 4 years ago
- Evaluate state-of-the-art sparse embedding models on the LIMIT dataset (`limit-small` and `limit`) from google's paper `On the Theoretica…☆16Sep 4, 2025Updated 7 months ago
- 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 Aori TypeScript SDK for interacting with Aori's HTTP and Websocket-based API☆17Jan 15, 2025Updated last year
- Rise JVM is a minimal Java VM based on WASM.☆14May 3, 2022Updated 3 years ago
- LLM + SearXNG 搜索，实现 AI 联网回答, 支持多 LLM 接口☆31Mar 22, 2025Updated last year
- CICS® banking sample application☆35Apr 2, 2026Updated 3 weeks ago
- A simple tool for porting CUDA to OpenCL (DEPRECATED)☆32Apr 19, 2019Updated 7 years ago
- Autonomous Materials Discovery with Large Language Models☆21Oct 23, 2024Updated last year
- Dokku API - API to interface with a Dokku installation☆16Feb 14, 2023Updated 3 years ago
- Web monetization for Gridsome.☆15Dec 12, 2022Updated 3 years ago
- Code and data for AAAI 2022 paper "Multilingual Code Snippets Training for Program Translation"☆10Mar 7, 2022Updated 4 years 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.
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 5 months ago
- Leveraging LLMs for modernization through intelligent chunking, iterative prompting and reflection, and retrieval augmented generation (R…☆39Mar 3, 2026Updated last month
- [ICLR2026] The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym"☆27Oct 14, 2025Updated 6 months ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- CLI for executing multiple commands in parallel with minimal footprint (~2KB).☆12Apr 14, 2026Updated 2 weeks ago
- A Code Efficiency Benchmark for Code Generation☆14May 26, 2025Updated 11 months ago
- Homeworks implementation of https://github.com/virginiakm1988/ML2022-Spring☆13Jan 28, 2023Updated 3 years ago