csmith

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

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

Github

文档

论文

介绍相关项目

Cody - AI编码助手，助您提升编码速度。

AI工具AI开发AI编码助手CodySourcegraph代码自动完成热门编程语言辅助编程

Cody是一款先进的AI编程助手，利用深度搜索和代码库上下文，让开发人员更快理解、编写和修复代码。它支持任何编程语言的代码生成，且与主流IDE如VS Code和JetBrains集成，提供丰富的代码上下文。Cody同时支持最新的大型语言模型（LLMs），为编程问题提供即时的AI解答。

Gen.jl - 通用概率编程系统，具备可编程推理功能

Gen.jlGithubMIT Probabilistic Computing ProjectPLDI开源项目概率编程编程语言设计与实现会议

Gen.jl是由MIT概率计算项目组开发的一个通用概率编程平台。它为研究者提供了灵活的工具来构建复杂的概率模型，并支持用户自定义推理算法。平台提供了完整的文档和教程。2019年PLDI会议论文详细介绍了其设计和实现。更多信息和支持，请访问官方网站。

scavenger - 运行时检测和清理无用代码的开源分析工具

GithubJavaScavenger代码清理开源项目死代码运行时分析

Scavenger是一个开源的运行时代码分析工具，主要用于检测和清理Java项目中的无用代码。该工具采用非侵入式方法收集代码调用信息，支持JVM语言，并提供Web界面进行项目管理和分析。Scavenger由Agent、Collector、API和前端等组件构成，同时提供Python版本。它支持多种数据库，易于集成，有助于优化代码库和提升性能。

slang - 现代GPU的高性能模块化着色语言

GPU编程GithubSlang图形API开源项目着色语言自动微分

Slang是一种基于HLSL的高性能着色语言，为现代GPU和图形API优化设计。它支持模块化开发、自动微分、泛型和接口等特性，并保持与HLSL代码的兼容性。Slang能够生成多个目标平台的代码，如D3D12、Vulkan和Metal，同时提供完整的反射信息和调试功能。这使得Slang成为管理大型着色器代码库的有力工具，能够提升开发效率和代码维护性。

coca - 全面的系统重构与分析工具，支持调用图、概念分析、API树等功能

CocaGithub代码重构开源项目系统分析自动化分析迁移工具

Coca是一款专为遗留系统重构与分析而设计的工具箱，支持多种编程语言。其功能包括调用图、概念分析、API树及设计模式建议等。Coca能够分析代码的测试问题、模块化、行数统计、调用与依赖、Git历史以及自动化重构，帮助开发者高效完成系统优化和重构。主要功能涵盖代码分析、API扫描、项目结构可视化和代码行数统计，适用于如Java等编程语言。

bcc - 基于eBPF的高性能内核追踪与分析工具包

BPFGithubLinux内核开源项目性能分析系统跟踪网络流量控制

BCC是基于eBPF技术的内核追踪和分析工具包,提供C语言编写内核工具的能力及Python和Lua前端接口。它简化了BPF程序开发,适用于性能分析、网络流量控制等任务。项目包含丰富的工具和示例,覆盖系统跟踪、内存管理、进程监控、性能优化、CPU分析、网络诊断和存储分析等多个领域。

awesome-testing - 软件测试资源大全精选工具与技巧

GitHubGithub开源项目测试工具测试资源自动化测试软件测试

该项目精选软件测试资源，涵盖测试工具、安全测试、效率软件、书籍、培训、博客等多个方面。内容丰富全面，适合新手入门和经验丰富的测试人员提升技能。资源涉及各类测试领域，帮助测试人员拓展知识面、提高效率。项目采用第三方视角客观介绍，为测试社区提供可靠的参考。

langchain-coder - 基于OpenAI与Vertex AI的智能代码生成工具

GEMINI AIGithubLangChain Coder AIOpenAIVertex AI代码生成开源项目

LangChain Coder AI是一款智能代码生成工具，集成了OpenAI和Google Vertex AI模型，支持多种编程语言。提供高级代码编辑器和自定义设置，同时支持在线与离线编译模式，提升代码生成的质量和效率。

koboldcpp - 多功能AI文本生成软件支持GGML和GGUF模型

AI文本生成API接口GGUF模型GPU加速GithubKoboldCpp开源项目

KoboldCpp是一款功能丰富的AI文本生成软件，支持GGML和GGUF模型。它提供KoboldAI API、多种格式支持、Stable Diffusion图像生成和语音转文本等功能。软件特性包括持久故事、编辑工具、多种保存格式、记忆系统、世界信息和作者注释。KoboldCpp支持GPU加速以提升性能，并具有直观的用户界面。这款开源软件可在多个平台上运行，为用户提供了强大而灵活的AI文本生成解决方案。

相关项目

推荐项目

豆包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