ica

在您的应用中集成前沿CoreML音频模型——文本转语音、语音转文本、语音活动检测及说话人分离。基于Swift开发，由顶尖开源技术驱动。

支撑OpenStreetMap运行的Rails应用程序

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

包含SCAP、Bash、Ansible及其他格式的安全自动化内容。

AuthPass - 基于Flutter的全平台密码管理器。兼容Keepass 2.x（KDBX 3和KDBX 4）。

Compose 规范

最新一代奥迪维里斯 OMR 发动机

专注于在线隐私与安全的Android应用程序

海量异构三维地理空间数据流技术规范 🌎

事件驱动框架：专为构建与编排多智能体AI系统设计，实现AI智能体与现实世界数据源及系统的无缝集成，支持复杂多步骤工作流。

一款面向大型本地图库的离线优先照片管理器

🔍 专为Kali Linux精选的开源情报与侦察工具包 — 包含100多种工具、一键安装，覆盖社交情报、地理情报、网络侦察、暗网、取证等领域。

Amazon Bedrock Agentcore 以规模化、可靠性和安全性加速 AI 智能体投入生产，这对实际部署至关重要。

跨平台免费开源可视化与图像计算软件。

基于JWT的用户管理与令牌签发API

跨设备通用粘贴板

Breeze 是哔咔与禁漫的第三方安卓客户端，采用 Flutter 框架开发。

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

AI 后端框架。像构建微服务一样构建和运行 AI 智能体——从一开始就具备可扩展性、可观测性和身份感知能力。

面向移动设备、服务器和Web的高效浮点神经网络推理算子

精简、高效、静态类型且支持元编程的系统编程语言，深受Lua启发，可编译为C语言和原生代码。

采用Material 3设计语言的增强型Android音乐流媒体客户端

基于 SvelteKit、Tailwind 与 Supabase 构建的现代化 SaaS 模板/项目样板，包含营销页面、博客、订阅服务、身份验证、用户仪表盘、用户设置、定价页面等功能模块。

面向有志成为DevOps工程师的实战项目集 [从入门到高级]