搜索结果：tla（10 个）

具备上下文记忆与团队协作能力的 AI 虚拟同事工具。

专注于保障 CI/CD 流程稳定与可靠性的开源 Agent。

基于 AI 的开源 Wiki 生成工具，支持 GitHub、GitLab 与 Bitbucket 仓库。

开源 Agentic 智能体浏览器，ChatGPT Atlas、Perplexity Comet 的替代品。

集成时间块与时间追踪的高级待办应用，支持联动 Jira、GitLab、GitHub 等。

专为 LLM 应用打造的自动化评估与测试框架。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

适用于任意技术栈与交互体验的高性能拖拽库。

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).