Todas las etiquetas
Etiqueta del catálogo

#tla-plus

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.

1 registro
Con la etiqueta «tla-plus»Ordenado por índice de salud
Go
77Buenoíndice de salud
dredozubov/hazmat
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Go★ 17819 oct 2026
MIT19 oct 2026 · métricas 2.10.0