Tema · tla
tla
Repositorios de código abierto monitorizados etiquetados con tla, ordenados por estrellas.
Repositorios
3
Estrellas totales
4127
Estrellas de media
1376
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a tla en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con tla.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
TLC es un verificador de modelos para especificaciones escritas en TLA+. TLA+ Toolbox es un IDE para TLA+.
★ 3026+7Variación de estrellas de los últimos 7 días - #2★ 596+2Variación de estrellas de los últimos 7 días
- #3
Tutorial "Weeks of debugging can save you hours of TLA+". Cada commit de git introduce un nuevo concepto; ¡consulta el historial de git!
★ 506+0Variación de estrellas de los últimos 7 días
