目录标签

#formal

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

2 条记录

标签为“formal”按健康指数排序

npm · crates.io

89优秀健康指数

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript · Rust · Quint★ 1,856↓ 279.7K/月2026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

npm

36薄弱健康指数

Minimal and formal résumé (CV) website template for print, mobile, and desktop.

JavaScript · CSS★ 1,798↓ 9/月2026年9月19日

自定义许可证2026年9月19日 · 指标 2.10.0