Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
A Dependently Typed Functional Programming Language
Efficiently find minimal subsets/submaps
Help debug intermittent crashes by automatically running the program until it crashes
Low-level networking interface
Seeing something unexpected? Take a look at the
GitHub profile guide.