csmith

用于发现编译器bug的随机C程序生成工具

Csmith是一个开源的随机C程序生成器，最初由犹他大学开发。它主要通过差异测试方法用于发现编译器bug，生成的C程序不含未定义行为。Csmith还可应用于编译器测试以外的领域，支持自定义生成选项，并提供详细的使用说明和安装指南。该项目现由社区维护，欢迎贡献和反馈。

Github

文档

论文

介绍相关项目

SmartCoder - 开发者智能编程助手与资源集市平台

AI工具AI编程SmartCoder在线市场开发工具技术文档

该平台是一个面向开发者的智能编程助手和在线资源集市。平台提供代码生成和辅助功能，有助于提高编程效率。开发者可在集市中分享和获取各类编程资源与工具。平台还提供详细文档和博客，为开发者创造学习和交流机会。作为综合性开发者社区，平台旨在打造高效协作的编程环境。

aiXcoder-7B - 多语言代码生成模型提高开发效率与代码质量

AI编程GithubaiXcoder-7B代码生成大语言模型开源项目模型训练

aiXcoder-7B是一个支持多种编程语言的代码生成模型。该模型在代码补全、理解和生成方面表现优异，经过1.2万亿唯一标记的训练，采用了针对实际代码生成场景的预训练任务和上下文信息设计。aiXcoder-7B提高了代码补全和生成的效率与准确性，未来还将优化测试用例生成和代码调试等功能，为开发者提供更全面的编程支持。

CodeGen - 一系列用于程序合成的开源模型

CodeGenCodeGen2.0CodeGen2.5GithubProgram SynthesisSalesforce AI Research开源项目

CodeGen是由Salesforce AI Research开发的开源项目，涵盖多个模型版本（350M、1B、3B、7B、16B），专注于程序合成。最新的CodeGen2.5模型在7B参数下超越了16B参数模型的性能。主要更新包括CodeGen2.0的强大补全能力和CodeGen1.0的发布，其性能媲美OpenAI Codex。所有模型均可在Hugging Face Hub上获取，适用于多轮程序合成任务。

holyc-lang - 开源HolyC语言编译器项目

GithubHolyCTempleOSx86_64开源项目编程语言编译器

HolyC-lang是一个用C语言实现的HolyC编译器项目。该编译器支持浮点运算、继承和循环等主要语言特性，可将HolyC源代码编译为x86_64兼容的二进制文件。项目提供完整的语言文档，并包含字符串、哈希表、I/O、数学和网络等库。HolyC-lang致力于实现Terry A. Davis设计的HolyC语言，为开发者提供独特的编程体验。

DeepSeek-Coder - 支持多种编程语言的高性能开源代码模型

AI编程助手DeepSeek CoderGithub代码生成开源项目性能评估模型训练

DeepSeek-Coder是一系列基于2T代码和自然语言数据训练的代码语言模型。提供1B至33B不同规模版本，支持项目级代码补全和插入。该模型在多种编程语言和基准测试中表现出色，支持87种编程语言，并在HumanEval、MBPP等评测中优于现有开源模型。

CodeGeeX4 - 开源多语言代码生成模型的新突破

AI编程CodeGeeX4Github代码生成多语言模型开源开源项目

CodeGeeX4-ALL-9B是一个基于GLM-4-9B训练的多语言代码生成模型。它提供代码补全、生成、解释等多项功能，并支持网络搜索、函数调用和仓库级代码问答。作为参数量低于10B的代码生成模型中性能最佳的一款，CodeGeeX4-ALL-9B在多个公开基准测试中表现优异，在某些方面甚至超越了参数量更大的通用模型，体现了其在推理速度和模型性能之间的出色平衡。

awesome-deepseek-coder - DeepSeek Coder开源资源汇总助力智能代码开发

DeepSeek CoderGithub人工智能代码生成开源项目模型

本项目收集整理了DeepSeek Coder相关的开源资源,涵盖官方和社区开发的各种规模模型、量化版本及配套工具。DeepSeek Coder作为高效的代码生成和理解模型,广泛应用于智能编程辅助和代码补全等场景。开发者可通过此资源列表深入了解和使用DeepSeek Coder,促进AI辅助编程技术的应用与创新。

naturalcc - 弥合编程与自然语言的序列建模工具包

GithubNaturalCC代码理解开源项目机器学习自然语言处理软件工程

NaturalCC是一个开源的序列建模工具包，旨在缩小编程语言与自然语言之间的差距。它支持代码生成、补全、摘要等多项软件工程任务。该工具包采用模块化设计，集成了多个大型代码模型，支持多GPU训练和高效推理。NaturalCC还提供了预处理的基准数据集和评估工具，为代码智能研究与开发提供了全面的解决方案。

go - 构建简洁高效软件的编程语言

GithubGo二进制分发开源开源项目编程语言软件开发

Go是一种开源编程语言，致力于简化软件开发过程，提高代码可靠性和运行效率。开发者可选择官方二进制版本或从源代码安装。作为众多贡献者共同努力的成果，Go项目欢迎社区参与。项目设有专门的问题跟踪系统和讨论平台，用于处理bug报告、提案和语言相关问题。

Dev-Cpp - 高效、轻量、易用的免费C/C++集成开发环境

C/C++编程Dev-C++EmbarcaderoGithub开源软件开源项目集成开发环境

Dev-C++是一款开源、跨平台的C/C++集成开发环境，由Embarcadero赞助开发。它采用MinGW版GCC作为编译器，支持C++17和部分C++20特性，具有Unicode支持、并行编译和调试功能。这款IDE以低内存占用著称，提供语法高亮、代码完成和类浏览器等实用功能。适用于Windows 7/8/10系统，自2000年发布以来，下载量已超过6700万次，成为深受开发者欢迎的免费C/C++开发工具。

相关项目

推荐项目

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手，通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能，支持100+编程语言，与主流编辑器无缝集成，显著提升开发效率和代码质量。

AI写歌

Suno AI是一个革命性的AI音乐创作平台，能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐，Suno AI都是音乐爱好者和专业人士的理想选择。

有言AI

有言平台提供一站式AIGC视频创作解决方案，通过智能技术简化视频制作流程。无论是企业宣传还是个人分享，有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Kimi

Kimi AI助手提供多语言对话支持，能够阅读和理解用户上传的文件内容，解析网页信息，并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题，Kimi都能以友好、专业的方式提供帮助。

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术，为商家提供一键生成商品图和营销文案的服务，显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台，让商品第一时间被种草。

吐司

探索Tensor.Art平台的独特AI模型，免费访问各种图像生成与AI训练工具，从Stable Diffusion等基础模型开始，轻松实现创新图像生成。体验前沿的AI技术，推动个人和企业的创新发展。

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器，它将改变您观看视频的方式！SubCat结合了先进的人工智能技术，为您提供即时视频字幕翻译，无论是本地视频还是网络流媒体，让您轻松享受各种语言的内容。

美间AI

美间AI创意设计平台，利用前沿AI技术，为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图，再到文案生成，美间让创意设计更简单、更高效。

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具，简化了选题、文献检索至论文撰写的整个过程。通过简单设定，平台可快速生成高质量论文大纲和全文，配合图表、参考文献等一应俱全，同时提供开题报告和答辩PPT等增值服务，保障数据安全，有效提升写作效率和论文质量。

使用协议隐私政策广告服务

投诉举报邮箱: service@vectorlightyear.com