搜索结果：tla（45 个）
按分类缩小范围
rowboat
综合 80
具备上下文记忆与团队协作能力的 AI 虚拟同事工具。
opensre
综合 76
专注于保障 CI/CD 流程稳定与可靠性的开源 Agent。
面向 AI Agent 的 817 项结构化网络安全技能，映射 6 大安全框架，符合 agentskills.io 标准。
deepwiki-open
综合 73
基于 AI 的开源 Wiki 生成工具，支持 GitHub、GitLab 与 Bitbucket 仓库。
lago
综合 70
开源计量与计费 API，支持用量追踪、订阅管理、定价迭代与收入分析。
BrowserOS
综合 70
开源 Agentic 智能体浏览器，ChatGPT Atlas、Perplexity Comet 的替代品。
super-productivity
综合 68
集成时间块与时间追踪的高级待办应用，支持联动 Jira、GitLab、GitHub 等。
fumadocs
综合 68
美观且灵活的 React.js 文档框架。
distrobox
综合 65
在终端中运行任意 Linux 发行版，兼顾软件兼容性与自由选择。
ragas
综合 65
专为 LLM 应用打造的自动化评估与测试框架。
grist-core
综合 64
电子表格的进化之作，结合电子表格与数据库特性的数据工具。
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 模板。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
pragmatic-drag-and-drop
综合 62
适用于任意技术栈与交互体验的高性能拖拽库。
gitlabhq
综合 59
GitLab 社区版（CE）镜像仓库，用于代码托管与协作。
redox
综合 58
Redox 操作系统官方 GitLab 仓库的镜像。
asciinema
综合 57
终端会话录制、直播推流与回放工具。