The core of xmonad, a small but functional ICCCM-compliant
A collection of machine-checkend mathematical proofs
Functional Arabic Morphology
Finds all words of length n formed of letters of a given string
Distributed reverse / forward proxy and tunneling solution for TCP.
iptables web interface