- XPC-Calc 17 The world's worst RPN calculator, powered by XPC and Haskell
- iPhone-Test-Runner 14 Ever wanted to run iPhone unit tests with the full power of the simulator? Now you can.
- SSGeometryKVC 5 Makes mutating primitive geometry types in Cocoa and Cocoa Touch easier.
- bracer 1 a rewriting system for curly-brace languages
- etc 1 Various configuration files
Repositories contributed to
- patrickt/bracer 22 a rewriting system for curly-brace languages
- lukexi/vr-pal 0
- lukexi/bullet-mini 0 Minimal Bullet bindings
- jonsterling/type-theory-and-its-meaning-explanations 21 an introduction to type theory based on meaning explanations (as opposed to proof theoretic type theories)
- mikeizbicki/subhask 225 Type safe interface for working in subcategories of Hask