👻
Block or Report
Block or report gilf0y1e-bertram
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: OCaml
All languages
C++
CodeQL
Coq
Java
JavaScript
Kotlin
LLVM
Makefile
OCaml
Python
Rust
Scala
Shell
TypeScript
Nothing to show
Sort by: Most stars
1
star
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.