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.
Scripting with Least Privilege
C 99 1
Polyglot Extensible Compiler Framework for Java
Java 67 15
Static analysis for llvm
Shell 19 4
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
Shell 16 6
A Racket library for implementing FUSE filesystems
Racket 4
Prototype compiler for cryptographic enforcement of language-based information erasure
Java 1
Seeing something unexpected? Take a look at the GitHub profile guide.