Repository for Josh Stuart's UCSC lab
SamB/coq 5
git-svn mirror of Coq + branches -- see http://github.com/SamB/coq/wikis
debian aptitude clone
Debian packaging for GNU Unifont
A lexical analyser generator for Haskell
bobby-tables.com, the site for preventing SQL injections
This is a command-line utility for examining the Objective-C runtime information stored in Mach-O files. It generates declarations for the classes, categories and protocols. This is the same information provided by using 'otool -ov', but presented as normal Objective-C declarations, so it is much more compact and readable.
##crawl bot Henzell/Sequell
more