Borderline is a firewall generator. It takes a generic rule specification as input and generated an highly optimized firewall. It features IPv6 rule generation, support for multiple interfaces, and integrated support for network zones. It currently only supports firewall generation for Linux 2.6 (netfilter).
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.