搜索结果：tla（22 个）

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

面向 AI Agent 的 817 项结构化网络安全技能，映射 6 大安全框架，符合 agentskills.io 标准。

开源计量与计费 API，支持用量追踪、订阅管理、定价迭代与收入分析。

在终端中运行任意 Linux 发行版，兼顾软件兼容性与自由选择。

Mend.io 出品的跨平台依赖自动更新工具与 CLI 核心仓库。

功能完善的 Flutter 版 GitHub 客户端，适合跨平台开发学习与日常使用。

Scala Steward 是一个自动化依赖更新机器人，解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新，并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。

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

GitLab 社区版（CE）镜像仓库，用于代码托管与协作。

Redox 操作系统官方 GitLab 仓库的镜像。

终端会话录制、直播推流与回放工具。

小而全的第三方登录开源组件，已支持数十家国内外主流平台快速集成。

开源的 API 集中管理与服务平台。

〔中文简介暂未生成〕 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).

Orbot 官方 Android 客户端，支持在移动设备上使用 Tor。

现代、富于表现力的 Swift 官方测试框架库。

Atlas 是由 Netflix 开源、基于 Scala 开发的内存维度时序数据库。它主要用于解决大规模监控中多维度时序数据的存储与管理问题，核心提供基于内存的快速数据写入、管理与查询能力，适用于对性能要求极高的时序数据后端场景。

开源图像编辑处理软件 GIMP 的只读官方镜像。

Wireshark 的只读 Git 镜像仓库，PR 需提交至 GitLab。

包含 1200+ DevOps Bash 脚本，覆盖 AWS、K8s、Docker、CI/CD 及各类数据库。