Type validator is a type checker for unserialized (untrusted) network objects. Type checker syntax aims to be safe and compact. It can be used, for example, with BitTorrent's bencoded messages to validate untrusted messages from the network.
A LaTeX style for writing documents according to UP-based methodologies.
A PHP canonic autoloader with PHAR support.