Repositorios de código abierto monitorizados de quint-co, ordenados por estrellas.
Un lenguaje de especificación ejecutable con herramientas excelentes basado en la lógica temporal de acciones (TLA).
