facebook / infer
A static analyzer for Java, C, C++, and Objective-C

See what the GitHub community is most excited about today.
A static analyzer for Java, C, C++, and Objective-C
Adds static typing to JavaScript to improve developer productivity and code quality.
pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.
Reason parser for Imandra (fork of reason's parser)
Programming language for literate programming law specification
FUSE filesystem over Google Drive
The core OCaml system: compilers, runtime system, base libraries
KreMLin is a tool for extracting low-level F* programs to readable C code
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Unison file synchronizer
Compiler for the M language, used to compute the income tax of French taxpayers
Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
Versioning of types with bin_prot serialization
Multi-tier framework for programming web and mobile applications in OCaml.