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…☆25May 2, 2026Updated 2 weeks ago
- A production-grade implementation of an Investment Portfolio Management System created for testing LLM translation of real world legacy a…☆24Oct 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☆37May 12, 2026Updated last week
- anything you want can be built with morph cloud☆28Oct 14, 2025Updated 7 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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…☆24Jan 24, 2026Updated 3 months ago
- Domain Generation Algorithms research papers, datasets and code☆15May 17, 2020Updated 6 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
- macrogpt大模型全量预训练(1b3,32层), 多卡deepspeed/单卡adafactor☆15Nov 30, 2023Updated 2 years ago
- 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.
- STAR: Similarity-guided Teacher-Assisted Refinement for Super-Tiny Function Calling Models☆47Apr 23, 2026Updated 3 weeks 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
- 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
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆14Nov 1, 2022Updated 3 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 last year
- 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 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 4 years ago
- CICS® banking sample application☆39Apr 2, 2026Updated last month
- LLM + SearXNG 搜索，实现 AI 联网回答, 支持多 LLM 接口☆32Mar 22, 2025Updated last year
- 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
- 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.
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 6 months ago
- Leveraging LLMs for modernization through intelligent chunking, iterative prompting and reflection, and retrieval augmented generation (R…☆40Mar 3, 2026Updated 2 months ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- [ICLR2026] The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym"☆28Oct 14, 2025Updated 7 months ago
- CLI for executing multiple commands in parallel with minimal footprint (~2KB).☆12Apr 14, 2026Updated last month
- Homeworks implementation of https://github.com/virginiakm1988/ML2022-Spring☆13Jan 28, 2023Updated 3 years ago
- A Code Efficiency Benchmark for Code Generation☆14May 26, 2025Updated 11 months ago