Litex 是一种基于集合论的形式语言，旨在实现可读的机器验证数学，允许用户以自然顺序书写事实，并可选择性地编译为 Lean。

一个在编译时使用 ChatGPT 生成并填充代码实现和测试的 Rust 程序宏。

一个无需 API 密钥、仅使用会话 Cookie 即可免费访问网页版 Gemini 模型的 OpenAI 兼容 API 封装。

一个基于 Rust 的文本拆分库，可将长文档拆分为适合 LLM 上下文窗口的语义上合理的块，支持纯文本、Markdown 和源代码。

包含 Distributed Shampoo 和 GPA-AdamW 等高级 PyTorch 优化算法的集合，专为高效的大规模模型训练而设计。

一个 Java 库和命令行工具，可将 Scikit-Learn 机器学习管道转换为用于可移植模型部署的 PMML 标准。

一个利用AI和基于Flink的管道处理流式事件并实时应用Sigma规则的实时网络攻击检测系统，显著降低检测延迟。

一个用于 RAGFlow 的批量文档上传与解析工具，通过 API 自动将大型本地数据集导入知识库。

NVIDIA CUDA Driver API 及其相关库的 .NET 封装，使 C# 和 Visual Basic 开发者能够将其应用程序集成 GPU 加速功能。

一个用于估计线性非高斯无环模型以确定变量之间因果关系的 Python 库。

Modal 平台的官方 SDK，使开发者能够部署高性能无服务器应用并交互平台资源。

一个开源的用户和实体行为分析（UEBA）框架，用于安全分析，提供透明的白箱安全模型和可视化规则构建器。

一个将自然语言和 bash 命令整合到单一界面的可组合多代理 shell，为无缝的 AI 驱动命令行体验提供支持。

一个用于 Julia 的全局优化包，使用随机和元启发式算法来优化不可微函数。

一个本地优先的AI应用和代理平台，将模型运行时转变为持久的应用和版本化服务，具有针对大型MoE模型的优化本地推理。

一个使用校准预测器将数据流转化为可控误报率的意外信号的流式异常检测库。

一个允许模块化组合贝叶斯推论算法的 Haskell 概率编程库。

一个基于 Rust 的快速分词器和形态分析器，针对大词典优化了 Viterbi 算法，实现高速分词，尤其适用于大规模词典场景。

一个回环代理，使 Claude Code 的 UltraCode 模式可与任何 LLM 后端配合使用，具备智能路由和协调器/工作者分离功能。

SPDL 是一个用于可扩展且高性能数据加载的库，为高效处理数组数据提供了流水线抽象和操作。

rocBLAS 是一个使用 HIP 实现并针对 AMD GPU 优化的基本线性代数子程序库，提供高性能的线性代数运算。

一个为 JavaScript 提供基本线性代数运算和分解的矩阵操作与计算库。

面向 V 语言的高性能科学计算库，提供线性代数、数值方法和 AI 及科学研究所需的 GPU 加速。

一种基于 MLIR 的、嵌入 Python 的语言和编译器，用于模块化设计和编程高性能机器学习加速器。

一个 Julia 包，提供对扁平向量的结构化、命名式访问，使复杂科学模型的组合无需手动索引追踪。

Tournesol 是一个协作平台，用于识别具有公共利益的高质量视频，以构建开放数据库，支持人工智能伦理和推荐系统研究。

专注于在线时间序列分析、协方差估计和投资组合优化的定量金融与统计预测工具集合。

一个开源的云托管平台，可实现 OpenClaw 和 Hermes 等 AI 代理运行时的专用 VPS 实例的一键部署与管理。

一项研究项目与评估框架，分析强化学习与可验证奖励（RLVR）是否真正扩展了大语言模型（LLM）的推理能力，还是仅优化了其采样效率。

一个由Google Cloud提供的开源工具包，用于使用可定制的蓝图部署和管理AI/ML及高性能计算（HPC）环境。

一个高性能本地内存检索系统，可对来自不同代理的 AI 会话转录文进行索引，通过 GUI、CLI 或 API 实现历史对话的可搜索性。

一个高性能的 PyTorch 优化器库，它使用编译的、可组合的构建块将操作融合进 Triton 内核，以实现更快的训练速度和更低的内存使用量。

用于在基于状态的游戏环境中实验决策的蒙特卡洛树搜索（MCTS）的 Python 实现。

一个用于化学与化学信息学研究的纯 Python 桌面应用程序和库，从零开始实现了分子可视化、SMILES 解析和 MMFF94 优化，且不依赖外部 C++ 依赖项。

一个适用于基于 PyTorch 的 AI 训练的弹性框架，通过提供自动故障检测、进程内重启以及高效的检查点机制，来最大化有效吞吐量。

专为跨 CPU、GPU 和 DPU 硬件的高性能 AI/ML 和 HPC 工作负载设计的统一集通信库。

一个通过官方 ClawBot API 实现的桥接服务，可让您通过 WeChat 远程运行和控制 Claude Code、Gemini CLI 等 AI 编程 CLI 工具。

一种用于云存储上数据版本控制的命令行工具，无需单独服务器，可对数据进行快照并切换版本，而无需更改文件存储位置。

一项定义 Kubernetes 平台标准化能力的认证计划，旨在确保 AI 与机器学习工作负载在不同集群间具备可移植性与可靠性。

一个简化辅助数据集成与多种推荐算法基准测试的多模态推荐系统比较框架。

一个使用 Nearest Neighbor Descent 算法实现高速近似最近邻搜索的 Python 库，支持广泛的距离度量。

一个 MCP 服务器，通过执行 AppleScript 和 JavaScript for Automation (JXA) 脚本，使 AI 代理能够控制 macOS 应用程序和系统功能。

用于可微分 3D 旋转操作的轻量级 PyTorch 库，提供旋转表示之间的映射和旋转回归工具。

一套包含点对点、成对和列表级模型的重排序工具，用于提升搜索和检索系统的准确性。

基于 Jax 的 Stable-Baselines3 概念验证实现，提供高性能强化学习算法，并保持一致的 API。

一个经过安全强化的 ComfyUI 扩展，增加了 LLM 辅助节点、远程管理控制台、自动化 HTTP API 以及聊天平台连接器（Discord、Telegram、WhatsApp 等），从而使 ComfyUI 可以被远程且安全地操作。

一个为 AI 编码代理提供真实世界产品截图、UI 参考和增长研究的技能包与 MCP 服务器，支持基于证据的设计。

一个基于 Rust 的可定制状态栏，用于 Claude Code，显示实时会话成本、上下文使用情况和 API 限制。