#
Starred repositories
7
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A language that compiles to Bash and Windows Batch
A code rewrite tool for structural search and replace that supports ~every language.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Connect processes into powerful data pipelines with a simple git-like filesystem interface