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

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Performant type-checking for python.

A language that compiles to Bash and Windows Batch

Irmin is a distributed database that follows the same design principles as Git

Context sensitive completion for OCaml in Vim and Emacs

A toolkit for embedding VPN capabilities in your application

Connect processes into powerful data pipelines with a simple git-like filesystem interface

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

A PDF parser and validator

Full Stack ReasonML Tutorials

FuzzBALL: Vine-based Binary Symbolic Execution

Infrastructure for Reassembleable Disassembling and Transformation

tool for creating supermin appliances (formerly called febootstrap). PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us. http://libguestfs.org