tlc

团队对外分享ppt

TLA+ language support for Visual Studio Code

🌸 Possibly the smallest Lua compiler ever

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

Specifying and Verifying CRDT Protocols using TLA+

Convert TLA+ output (and values) into JSON

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

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).

utilities for CyclistsWithCameras

Some examples and notes while learning TLA+ modeling language.

Protocol specs in Python you can verify: test, simulate, model check, prove

Hardening TLC and Apalache through systematic, differential, fuzz, and regression testing to improve the reliability of TLA+ model checking

Repository for my master's thesis containing translation tool, erlang code, generated gen-server

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.

Bug finding challenge for all of the tools around

Benchmarking QLC vs TLC NVMe for LLM inference: TPS/TCO comparison of Solidigm D5-P5336 & D7-P5520 on 8×H100 with MiniMax-M2.5