#

tla

Here are 2 public repositories matching this topic...

pmer / tla-bin

Command line binaries for the TLA+ language

verification specification model-checking mit-license tla

Updated Apr 27, 2023
Shell

adlnet / tla-kafka-cluster

Kafka cluster used to route xAPI within the ADL's TLA reference implementation. Simple 3-3 Kafka cluster with plaintext SASL.

tla

Updated Jul 10, 2020
Shell

Improve this page

Add a description, image, and links to the tla topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tla topic, visit your repo's landing page and select "manage topics."