wtf do these OCaml repos do?

Popular OCaml repositories on GitHub, each decoded: what it actually does, its stack, and how to run it.

facebook/inferStatic analysis tool from Facebook that scans Java, C, C++, and Objective-C source for null derefs, memory lea
semgrep/semgrepSemgrep is a static analysis tool that scans source code for bugs and policy violations using rules written in
reasonml/reasonReason is a programming language that gives OCaml a JavaScript-friendly syntax, letting developers write type-
facebook/pyre-checkPyre is Facebook's fast Python type checker that catches type-mismatch bugs before code runs; it also ships Py
astrada/google-drive-ocamlfuseA Linux tool that mounts your Google Drive as a regular local folder so any program can read and write Drive f
paraiconicity/meepsmeeps is a small OCaml library that checks whether code uses values correctly, including tracking whether a va
bracevac/effEff is a programming language built on algebraic effects, letting you handle side effects like state, exceptio