| Ur/Web | richly typed, light-weight dynamic web programming language currently working on automatic side-effect caching |
|---|---|
| GHC | compiler for the functional language Haskell |
| HTML Purifier | standards compliant HTML filtering |
| Wizard | distributed autoinstall management system |
| c2hs | six-part blog series on using c2hs |
| abcBridge | functional interfaces for AIGs and SAT solving |
| CSRF Magic | automatic protection against Cross-Site Request Forgery |
| git-ftp | quick and efficient publishing of Git repositories over FTP |
| WikiStatus | user submitted status reports on Wikipedia servers |
| Haskell | tips and tricks for hacking Haskell |
| Hardware | a ThinkPad X61 Tablet |