r

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

Izanami 是一个集中式多功能特性开关解决方案，非常适合微服务架构。

一个用于在生产环境中运行AI Foundry工作负载的安全、可扩展且集成化的部署方案。

@vlang语言服务器，满足您所有编辑需求，如跳转到定义、代码补全、类型提示等功能。

fossunited.org

角色人工智能

栈切换提案的仓库。

在esp-idf上运行Zig

该单仓库包含一个机器可读的 RISC-V 规范数据库以及工件生成工具。

https://docs.chocolatey.org - 新版文档网站

基于C90的ML-KEM/FIPS 203安全、快速且可移植的实现方案

Amazon Corretto 官方镜像的 Dockerfile 文件集

暂无项目描述

本仓库用于Azure C++ SDK的活跃开发，SDK用户请访问版本化开发文档：https://azure.github.io/azure-sdk-for-cpp

面向 AI 代理基础设施的进攻性安全框架——涵盖 MCP、A2A、网关和 AI 服务的侦察、凭据窃取、模型窃取、投毒及攻击路径分析。面向代理化技术栈的 BloodHound。

Julia线性算子库

纯Julia实现的通用抽象代数功能（无C依赖）

基于Tree-sitter和Neovim主题的语法高亮器。

一款为Android设计的简洁、快速且遵循Material Design理念的音乐播放器，具备强大功能。

适用于 Kubernetes 的 Mattermost Helm 图表

开源且自托管的AI驱动客服平台。单租户架构，无多账户限制，不按用户收费——您可在自己的服务器上运行完整技术栈。

面向AI编程助手（Claude Code、Codex）的本地优先桌面应用。

Pterodactyl的文档是开源的！

Strands智能体SDK技术文档。采用模型驱动方法，仅需几行代码即可构建AI智能体。