Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Running on Windows, Mac OS X, Linux, FreeBSD, OpenBSD, and Solaris, it can disassemble ARM, ARM64 (ARMv8), MIPS, PPC, and x86 architectures. Capstone provides rich details about disassembled instructions along with useful semantic information.
Paparazzi is powerful and versatile autopilot system for fixed-wing aircraft and multicopters. It comprises both hardware and software. The project includes not only the airborne hardware and software, from voltage regulators and GPS receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.
Mascot is a style checker for Objective Caml sources. It checks for overloading of built-in elements, useless constructs, deeply nested constructs, 'open' statements, magic numbers, complex conditions, presence of comments, spelling, empty interfaces and the number of exported elements, coupling, Halstead, and McCabe metrics, matching of regular expressions, and spaces, tabulation, headers, and file/line lengths. It supports CheckStyle, CSV, HTML, JDepend, bare text, and XML outputs, and supports plugins for custom checks and outputs.
Argot is a custom HTML generator for the ocamldoc tool. It supports stroked, underlined, and highlighted styles, image data inclusion, table support with captions, headers, rows, and data, token substitution, a @typevar tag for documenting type variables, @unimplemented, @todo, @todoc, @docme, @fixme, and @tofix tags for remaining work, @threadsafe and @threadunsafe tags for thread compatibility, a @stateful tag for state-based functions, and @attention, @bug, @error, @info, @new, @note, @remark, and @warning tags.