#ssi 每日趋势报告

用Rust重写的Postgres，现已通过100%的Postgres回归测试

🌊 领先的Claude智能体编排平台。部署智能多智能体集群，协调自主工作流，构建对话式AI系统。具备企业级架构、分布式集群智能、RAG集成及原生Claude Code/Codex集成功能

适用于Google Meet、Microsoft Teams和Zoom的开源会议转录API。自动加入机器人、实时WebSocket转录、面向AI代理的MCP服务器。可自托管或使用托管SaaS服务。

面向AI的数据转换框架。具备卓越性能，支持增量处理。如果喜欢请点亮星星！

学习如何开发、部署并迭代生产级机器学习应用。

网格优化库：缩小网格体积并提升渲染速度

易于使用的开源商业智能和嵌入式分析工具，让每个人都能轻松处理数据 📊

轻松将文档转换为结构化数据。Unstructured是开源的ETL解决方案，可将复杂文档转换为适合语言模型的整洁结构化格式。访问我们的网站了解企业级平台产品，支持生产级工作流、分区、增强、分块和嵌入。

Home Assistant 中对涂鸦设备的本地支持

采用 Zig 语言编写的最快速、最精简且完全自主的人工智能助手基础设施

终端进程的会话持久化

极简、易用且 SEO 友好的 Astro 博客主题

适用于 Windows 的 zapret 和 blockcheck 二进制文件包

web.dev 网站的前端、后端及内容源代码

🌊 基于Julia语言的高效、友好、灵活、海洋风味流体动力学软件，支持CPU与GPU计算

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

一个基于Metal构建的GPU加速图像与视频处理框架。

esphome.io 文档文件的源代码。

伊丹图斯云代理

ClimaAtmos.jl 是一个大气模型，旨在利用数据同化和机器学习工具来建模和校准次网格尺度过程。

Agda是一种依赖类型编程语言/交互式定理证明器。

用于软件开发的多智能体系统