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

MirageOS is a library operating system that constructs unikernels

Tools for code analysis, visualizations, or style-preserving source transformation.

Binary Analysis Platform

Batteries Included project

C Intermediate Language

Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is similar to Hoogle, which is a Haskell API search engine. You co…

Inspection of internal value representations and the object graph

This is a fork of the inline-more branch in the OCaml SVN repository.

Library for implementing Disco jobs in ocaml.

Various experimental changes to OCaml.

jStar is a verification tool based on separation logic.