A static analyzer for Java, C, C++, and Objective-C

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

MirageOS is a library operating system that constructs unikernels

A code rewrite tool for structural search and replace that supports ~every language.

Tutorial on Multicore OCaml parallel programming with domainslib