lemmy/BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
TLAMIT
Stargazers
- adibrastegarniaintel corporation
- adriandukeLondon, UK
- alyginMoscow, Russia
- andredublin@NationalDecisionSupport
- azumafujiLondon, UK
- BRMatt@geckoboard
- chiumichaelHong Kong
- danidiazArtificial Labs
- denisfitz57
- eraad@datil
- estensenChainbound
- fire@V-Sekai
- franklsf95@ucbrise
- gabrielrodriguesrochaBrazil
- gonzalgu
- gregorsinternetz
- infynyxxSquarespace
- j4m3s-s::1
- kdkeyserpropellant.tech
- keppel@nomic-io
- leetroutTriad-Triangle NC
- louismhowePortland, OR
- ludoviccSOPHiA Genetics
- mbrukman@Google
- mrbrowningOakland, CA
- mthenw@cloudashdev
- robstolarzUnited States
- romac@informalsystems
- snithishBooking.com B.V
- srijsBerlin, Germany
- sullvnSymbiote
- sureshgSan Jose, CA
- tj800xAlexandria, VA
- vinc456Vancouver, Canada
- vishallamaUSA
- zikani03@nndi-tech ex @creditdatamw