tlc

团队对外分享ppt

TLA+ language support for Visual Studio Code

A script for running TLA+/TLC from the command line

Specifying and Verifying CRDT Protocols using TLA+

⛄Possibly the smallest Lua compiler ever

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Convert TLA+ output (and values) into JSON

Get links of Discovery shows and a specific season and/or episode

Analyzing thin-layer chromatography (TLC) chromatograms

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

Some examples and notes while learning TLA+ modeling language.

utilities for CyclistsWithCameras

Lists of tax lien certificate states and tax deed states.

Notes from Fondamenti di Telecomunicazioni T, ING-INF 2017/2018 course @ UniBo

A repository that contains files relevant to my master's thesis on TLA+ specification writing guidelines for state space reduction.

Tool Life Cycle - GUI Web Application

Jupiter Refinement Project

p2p file sharing program built with rust

Experimenting with TLA+

NBIS' teaching literature club