ca

全球最强大的开源数据目录，用于构建高性能、地理分布式和联邦式元数据湖。

Kani Rust Verifier

基于网页命令行的硬件渗透工具 支持全协议通信

Dart语言设计

通过语言服务器协议提供官方Haskell集成开发环境支持

嵌入式模板库

EspoCRM – 开源客户关系管理应用

使用IP-Tracer追踪任意IP地址。IP-Tracer专为Linux和Termux开发，您可以通过它获取任何IP地址的信息。

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

一个用于视觉惯性导航研究的开源平台。

易于使用、100%开源的学习管理系统

PingCastle - 用20%的时间达成80%的Active Directory安全评估

基于Windows LiveCaptions的轻量级强大实时音频/语音翻译工具

面向Java、Scala和Kotlin的更优构建工具：比Maven或Gradle快3-6倍，减少插件配置困扰，并可在IDE中更便捷地探索

腾讯云即时通信提供全球化接入、单聊、群聊、消息推送、资料与关系链托管及帐号鉴权等完整解决方案。

支撑OpenStreetMap运行的Rails应用程序

Slick（Scala语言集成连接套件）是一个用于Scala的现代化数据库查询与访问库

基于不同调度器并包含其他性能改进的 Archlinux 内核

Compose 规范

一个用于在 Android、iOS、macOS、Linux 和 Windows 上显示本地通知的 Flutter 插件

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

安卓天气应用 🌦🌞☔

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

开源AI相机技能平台，AI网络视频录像机与闭路电视监控系统。