20 skills found
pingcap / Tla PlusNo description available
fizzbee-io / FizzbeeEasiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Apress / Practical Tla PlusSource Code for 'Practical TLA+' by Hillel Wayne
cmschmtt / Tla Plus ResourcesPersonal reading list/reference re: TLA+
ElliotSwart / PragmaticformalmodelingAn instructional website with progressively worked examples of TLA+ specifications and model checking.
japgolly / Tla2jsonConvert TLA+ output (and values) into JSON
danwt / SpeclA modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
skarupke / Glibc Cv Tla PlusReproducing a bug in the Glibc condition variables using TLA+
tlaplus / LectureThe TLA+ Video Course by Leslie Lamport
Chimera-Protocol / Csl CorePolicy Language for AI Agents. Deterministic safety language, Z3-verified policy enforcement.
hop-protocol / Tla Spec📜 WIP Hop Protocol TLA+ Specification
miguelmota / Tla CookbookA collection of various TLA+ examples and helper functions for learning.
FedericoPonzi / Tla Plus SpecsNo description available
arnaudbos / Aoc2020 Tla PlusAdvent of Code 2020 in TLA+
fernandezpablo85 / Practical TlaExamples hillel wayne's TLA plus book, written in pure TLA+ (not pluscal)
changlinli / Peterson TlaplusA TLA+ Specification of Peterson's Algorithm
pool2win / Bitcoin Contracts TlaplusBitcoin layer 2 contracts specifications using TLA+
mxm / TLA Plus Video CourseExercises from Leslie Lamport's video course on TLA+
iamaanahmad / Alpenglow VerifierMathematical proof of Solana's Alpenglow consensus protocol with 100% verification success.
dredozubov / HazmatmacOS containment for AI agents — user isolation, kernel sandbox, pf firewall, DNS blocklist, backup/rollback. TLA+ verified.