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.
Generates natural language versions of Coq proofs
Java 41
Static analysis and instrumentation framework for Android
Java
Generates information-flow control mechanisms from a language's specification
Converts beamer presentations to articles
Secure information-flow analyzer
OCaml
Seeing something unexpected? Take a look at the GitHub profile guide.