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…☆23Feb 10, 2026Updated last month
- 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 2, 2026Updated last week
- anything you want can be built with morph cloud☆27Oct 14, 2025Updated 5 months ago
- Multi-Agent LangGraph System☆13May 22, 2025Updated 10 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.
- 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 2 months 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
- Domain Generation Algorithms research papers, datasets and code☆15May 17, 2020Updated 5 years ago
- STAR: Similarity-guided Teacher-Assisted Refinement for Super-Tiny Function Calling Models☆42Mar 23, 2026Updated 2 weeks ago
- macrogpt大模型全量预训练(1b3,32层), 多卡deepspeed/单卡adafactor☆15Nov 30, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 10 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
- The Aori TypeScript SDK for interacting with Aori's HTTP and Websocket-based API☆17Jan 15, 2025Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Rise JVM is a minimal Java VM based on WASM.☆14May 3, 2022Updated 3 years ago
- Leveraging LLMs for modernization through intelligent chunking, iterative prompting and reflection, and retrieval augmented generation (R…☆39Mar 3, 2026Updated last month
- CICS® banking sample application☆34Apr 1, 2026Updated last week
- LLM + SearXNG 搜索，实现 AI 联网回答, 支持多 LLM 接口☆30Mar 22, 2025Updated last year
- A simple tool for porting CUDA to OpenCL (DEPRECATED)☆32Apr 19, 2019Updated 6 years ago
- Autonomous Materials Discovery with Large Language Models☆22Oct 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- CodeBERT based mutation testing tool.☆13Nov 10, 2025Updated 4 months ago
- [ICLR2026] The official repository for the CodeGym project: "Generalizable End-to-End Tool-Use RL with Synthetic CodeGym"☆27Oct 14, 2025Updated 5 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).☆12Mar 17, 2026Updated 3 weeks ago
- Homeworks implementation of https://github.com/virginiakm1988/ML2022-Spring☆13Jan 28, 2023Updated 3 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 10 months ago
- 🌟 Stardex: Explore GitHub Stars Intelligently. Stardex is a powerful web app that lets you search, filter, and cluster any GitHub user's…☆13Mar 17, 2026Updated 3 weeks ago