#ssi 每月趋势报告

Meetily是一款隐私优先的AI会议助手，基于Rust构建，提供比Parakeet/Whisper快4倍的实时转录、说话人分离及Ollama摘要功能。100%本地处理，无需云端。作为排名第一的自托管开源AI会议记录工具，支持macOS与Windows系统。

Meetily是一款隐私优先的AI会议助手，基于Rust构建，提供比Parakeet/Whisper快4倍的实时转录、说话人分离及Ollama摘要功能。100%本地处理，无需云端。作为排名第一的自托管开源AI会议记录工具，支持macOS与Windows系统。

开源免费——经阿里巴巴规模实战验证。混合架构代码审查工具：确定性流水线+LLM智能体，精确到行的注释，内置精细调优规则集（空指针异常、线程安全、跨站脚本攻击、SQL注入），兼容OpenAI与Anthropic。

⌥ 终端AI编程代理——基于哈希锚定的编辑、优化的工具集、LSP、Python、浏览器、子代理等

语音转语音：致力于构建开源模块化GPT4-o的项目

语音转语音：致力于构建开源模块化GPT4-o的项目

完全离线的免费开源可扩展语音转文本应用程序

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

反深度包检测软件

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

攻击面管理平台

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

终端进程的会话持久化

高颜值第三方网易云播放器，支持Windows/macOS/Linux系统

基于 Web 的流量与安全网络流量监控系统

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

一个为Vue构建高质量、可访问设计系统和Web应用的开源UI组件库。前身为Radix Vue。

极速压缩算法

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

编辑器代码助手——与编辑器无关的AI结对编程功能

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

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

☁️ ownCloud 网络服务器核心（文件管理、DAV 等）

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

用于裁剪UIImage对象特定区域的iOS视图控制器

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

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

全新p5.js官方网站！