Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OCaml DSL for verifiable computation