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.
Tiny Scala library to generate class files for the JVM
Vim plugin to interface with Ensime
Proof-of-concept: run QBasic code in the cloud
Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3
A tool to import BibTeX entries from various sources
Fun with identifiers in Scala programs
Seeing something unexpected? Take a look at the
GitHub profile guide.