搜索结果：tla（45 个）
按分类缩小范围
rowboat
综合 80
具备上下文记忆与团队协作能力的 AI 虚拟同事工具。
面向 AI Agent 的 817 项结构化网络安全技能，映射 6 大安全框架，符合 agentskills.io 标准。
deepwiki-open
综合 73
基于 AI 的开源 Wiki 生成工具，支持 GitHub、GitLab 与 Bitbucket 仓库。
lago
综合 70
开源计量与计费 API，支持用量追踪、订阅管理、定价迭代与收入分析。
BrowserOS
综合 70
开源 Agentic 智能体浏览器，ChatGPT Atlas、Perplexity Comet 的替代品。
fumadocs
综合 69
美观且灵活的 React.js 文档框架。
super-productivity
综合 68
集成时间块与时间追踪的高级待办应用，支持联动 Jira、GitLab、GitHub 等。
ragas
综合 65
专为 LLM 应用打造的自动化评估与测试框架。
grist-core
综合 64
电子表格的进化之作，结合电子表格与数据库特性的数据工具。
opensre
综合 64
专注于保障 CI/CD 流程稳定与可靠性的开源 Agent。
renovate
综合 64
Mend.io 出品的跨平台依赖自动更新工具与 CLI 核心仓库。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
gsy_github_app_flutter
综合 63
功能完善的 Flutter 版 GitHub 客户端，适合跨平台开发学习与日常使用。
scala-steward
综合 63
Scala Steward 是一个自动化依赖更新机器人，解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新，并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。
pragmatic-drag-and-drop
综合 63
适用于任意技术栈与交互体验的高性能拖拽库。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
gitlabhq
综合 59
GitLab 社区版（CE）镜像仓库，用于代码托管与协作。
redox
综合 58
Redox 操作系统官方 GitLab 仓库的镜像。
asciinema
综合 57
终端会话录制、直播推流与回放工具。
fastlane
综合 57
简化 iOS 和 Android 应用自动化打包与发布的运维工具。