登录 注册

搜索结果:applications(5 个)

按分类缩小范围
全部分类 AI 应用与 AI Agent AI 模型与开发框架 自动化与工作流 数据分析与数据处理 网站与 SaaS 工具 效率与办公工具 图像、视频与音频 内容创作与媒体工具 电商与营销工具 游戏与娱乐 网络与基础设施 开发者工具 安全与隐私工具 教育与学习 其他

ogma

综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具,解决安全监控难以集成到外部系统的难题。它基于 Copilot,可为 NASA cFS、ROS 和 F' 生成监控应用或组件,支持从 Graphviz、Mermaid 等图表生成监控器,并自动生成 C 结构体胶水代码。
Haskell 589 61 2026-11-09
帮助开发者以最少的人工配置,快速构建基于 Spring 的生产级应用与微服务。
Java 81,900 42,764 2026-11-12
图像、视频与音频 部署:中等

nammayatri

综合 51
〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Haskell 2,580 407 2026-11-12

spectre.console

综合 42
一个用于轻松构建精美终端控制台应用程序的 .NET 类库。
C# 11,692 0

BlackHole

综合 41
现代化的 macOS 音频环回驱动,支持应用间零额外延迟传递音频。
C 20,044 0
图像、视频与音频 部署:待检测