Lenguaje · TLA

TLA

Repositorios de código abierto monitorizados que tienen TLA como lenguaje principal, ordenados por estrellas.

3 repositorios

#1
Examples@tlaplusTLA
Una colección de especificaciones de TLA⁺ de varias complejidades.
★ 1558+2Variación de estrellas de los últimos 7 días
#2
raft.tla@ongardieTLA
Especificación TLA+ para el algoritmo de consenso Raft.
★ 523+2Variación de estrellas de los últimos 7 días
#3
BlockingQueue@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Cada commit de git introduce un nuevo concepto; ¡consulta el historial de git!
★ 505+1Variación de estrellas de los últimos 7 días