It uses otool to disassemble a Mach-O executable file...
Luminance HDR is an open source graphical user interface application
The National Library of Virtual Manipulatives (NLVM) is an NSF supported project
System for computer and Internet-assisted classroom instruction.
An app to help students practice derivations in the typed lambda calculus.