by-name/is

Daemon for running commands at specific times

A generic proof assistant

Compiler for Inno Setup, a tool for creating Windows installers

Downloader for ISIS of TU-Berlin