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.

FUSE filesystem over Google Drive

magic-trace collects and displays high-resolution traces of what a process is doing

The fastest pixel-by-pixel image visual difference tool in the world.

Programming language for literate programming law specification

🍬 a functional language for building type-safe, scalable, and maintainable applications

A mixture of tooling combined to produce JavaScript from OCaml & Reason

A PDF parser and validator