The official formatter for Nix code
The core of xmonad, a small but functional ICCCM-compliant
Infinite precision scientific math library for Haskell, Miranda & KRC
A collection of machine-checkend mathematical proofs
A Dependently Typed Functional Programming Language
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