lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
DafnyCC0-1.0
Stargazers
- 0xmountaintopGallifrey
- anton-trunovhttps://tonstudio.io
- antonlogvinenko
- bandali0@canonical
- chromosome
- clarusFormal Land
- cokert@turnercode
- contrun
- dhouck
- esimonov
- fabianhjrMexico City, Mexico
- gabriel-fallenKontur
- HperigoJam3
- indieterminacyBrussels, Belgium
- ivzhh
- jemmanuel@walmartlabs
- jochenschneiderBerlin
- k1m190rShell
- kebbbnnn
- KraksINRIA/ENS; Tufts
- lgastakoFrancon & Heyer
- ligurio
- mbrukman@Google
- pgergisNew York
- relyks
- rnella01
- samebchaseLast9
- suhr
- svanderbleek@pantheon-systems
- theodesp@wpengine
- ul@atlassian
- velavokrFirebolt
- voilaDunedin, NZ
- xoltarIntel Labs
- yashk
- zvonden