Todas las etiquetas
Etiqueta del catálogo

#tlaplus

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

2 registros
Con la etiqueta «tlaplus»Ordenado por índice de salud
86Excelenteíndice de salud
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Scala · TLA★ 58218 jul 2026
Apache-2.018 jul 2026 · métricas 2.10.0
crates.io · npm
83Excelenteíndice de salud
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript · Rust · Quint★ 162020 ago 2026
Apache-2.020 ago 2026 · métricas 2.10.0