ProXimus is an enterprise scale solution to manage access control for the Squid proxy server. It provides a Web-based management interface to easily define access rules for user groups and locations. The backend is realized as a Squid redirector.
A library for manipulating sets and relations of integer points bounded by linear constraints.
A small Web server written in /bin/sh.