搜索结果：ime（44 个）

今日热门（多来源加权）本周热门本月热门最近新增 Star 增长最快 Fork 增长最快商业潜力较高适合个人开发者

按分类缩小范围

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

copilot

综合 42

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

Haskell 840 0

AI 应用与 AI Agent 部署：待检测

tidewave_phoenix

综合 42

专为 Phoenix 开发设计的 MCP 服务器，提供运行时级别的相关工具支持。

Elixir 861 0

AI 应用与 AI Agent 开发者工具部署：待检测

robloxstudio-mcp

综合 42

面向 Roblox Studio 的 MCP 服务器，支持 AI 进行调试、测试控制、截图及多端代码执行。

Lua 366 0

AI 应用与 AI Agent 开发者工具部署：待检测

rzk

综合 40

〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell 313 0

AI 应用与 AI Agent 部署：待检测

上一页 1 2 3