AIbase
Home

Product Finder

Product Submit

AI Models Finder

MCP Servers

MCP Client

MCP Inspector

Case Tutorials

Latest AI News

AI Daily Brief

CoTran

Public

Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

code-translationcompilerdeep-reinforcement-learningfeedback-looplarge-language-modelsneurosymbolic-aiprogramming-languagesymbolic-execution
Creat：2023-05-17T16:00:51
Update：2025-06-03T14:19:40
10
Stars
0
Stars Increase

Related projects

Build Your Own X

Hot
awesome-list

Master programming by recreating your favorite technologies from scratch.

408870
4个月前
+820today

Tensorflow

deep-learning

An Open Source Machine Learning Framework for Everyone

191130
2年前
+33today

Stable Diffusion Webui

Hot
ai

Stable Diffusion web UI

155428
1年前
+88today

Transformers

Hot
bert

? Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

148148
2年前
+109today

N8n

Hot
ai

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

128483
4年前
+732today

30 Seconds Of Code

astro

Coding articles to level up your development skills

124873
4个月前
+34today

Rust

Hot
compiler

Empowering everyone to build reliable and efficient software.

105659
4个月前
+78today

Pytorch

Hot
autograd

Tensors and Dynamic neural networks in Python with strong GPU acceleration

92264
4个月前
+79today

Opencv

c-plus-plus

Open Source Computer Vision Library

83457
7年前
+37today

Netdata

alerting

X-Ray Vision for your infrastructure!

75409
4个月前
+44today