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.
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.
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.
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.
BSD Make Pallas Scripts is a collection of BSD Make directives that can be used to create workflows including the following activities: preparation and publication of TeX documents, development of TeX macros with NOWEB, development of OCaml software, maintenance of FreeBSD workstation configuration files, preparation of a static Web site with ONSGMLS. It has several nice advanced features, like producing METAPOST figures for TeX documents or parallel build on OCaml projects.