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.
Applicative option parser
🇪🇺 Wire back-end services
Base library for HoTT in Agda
Category theory and algebra
QR encoder library
Command line accounting tool and python library
This PR completely removes UVerb from the codebase, as well as the EmptyResult kludge that we needed to generate empty responses. Both are now repl…
Seeing something unexpected? Take a look at the
GitHub profile guide.