搜索结果：tla（4 个）
按分类缩小范围
fumadocs
综合 68
美观且灵活的 React.js 文档框架。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
gitlabhq
综合 59
GitLab 社区版（CE）镜像仓库，用于代码托管与协作。
atlas
综合 52
Atlas 是由 Netflix 开源、基于 Scala 开发的内存维度时序数据库。它主要用于解决大规模监控中多维度时序数据的存储与管理问题，核心提供基于内存的快速数据写入、管理与查询能力，适用于对性能要求极高的时序数据后端场景。