Tema · apalache
apalache
Repositorios de código abierto monitorizados etiquetados con apalache, ordenados por estrellas.
Repositorios
2
Estrellas totales
2249
Estrellas de media
1125
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a apalache en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con apalache.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Un lenguaje de especificación ejecutable con herramientas excelentes basado en la lógica temporal de acciones (TLA).
★ 1654+12Variación de estrellas de los últimos 7 días - #2★ 596+2Variación de estrellas de los últimos 7 días
