#Tlaplus
Showing 4 of 4 repositories tagged #tlaplus, ranked by stars
will62794
spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Score
0
★ 209
⑂ 15
+1/day
JavaScript
OliverKillane
Imperial-Computing-Notes
A selection of textbook-like course notes for the Imperial College Computing modules.
Score
0
★ 100
⑂ 10
—
TeX
informalsystems
atomkraft
Advanced fuzzing via Model Based Testing for Cosmos blockchains
Score
100
★ 85
⑂ 9
—
Python
dgpv
SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
Score
0
★ 23
⑂ 3
—
TLA