snu-sf/promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
CoqMIT
Stargazers
- benjioh5@SCV-Soft
- binaryflesh
- codingskynetFlipster
- d3v3l0Munich
- damhiyaSeoul, Republic of Korea
- fitzgenright behind you
- hushonKAIST
- iasakura
- igxactlyNAVER Corp.
- JasonJ2021Zhejiang University
- jeehoonkang@kaist-cp, @furiosa-ai
- JeonChangminSeoul National University
- JOE1994HPE
- jvalinsky
- kubo39Tokyo, Japan
- leegaoGoogle
- leejseo@moloco
- marsamPeru
- mgrabovskyFakta o klimatu
- minkiminki
- nikitavoloboevTbilisi
- NWMonster
- omasanoriJapan, or anywhere else
- qnighy@wantedly
- sanjoy@NVIDIA
- SeungUkLeeRepublic Of Korea, Busan
- ShuyangLiu
- simnalamburt@snucse, Ex @portone-io VPE, @contentstech-com VPE
- smondetNew York, NY
- soraros
- tsitelov
- victoryang00Baskin Engineering