Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Operational Semantics of a Weak Memory Model with Channel Synchronization
Reading club on programming languages and formal methods
Very simple information flow aware compiler with Flex, Bison, LLVM, C/C++
Rubik's cube in Golang
Seeing something unexpected? Take a look at the
GitHub profile guide.