profile
viewpoint

stellamplau/cspec

Verifying concurrent code with layers and movers

https://github.com/stellamplau/cspec

stellamplau

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

zeldovich
tchajed
kaashoek