Choreonoid is an integrated robotics GUI environment, which allows users to add their own functions on the basis of various basic robotics functions.

chordii provides guitar players and other musicians with a tool to produce good looking, self-descriptive music sheets from text files.

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

Mytop is a console-based tool for monitoring queries and the performance of MySQL. It supports version 3.22.x, 3.23.x, 4.x and 5.x servers. It's written in Perl and support connections using TCP/IP and UNIX sockets.