1Spin model checker open sourced under 3-clause BSD (opens in new tab)(spinroot.com)2thomaslee10y ago0Save
33(+1) things I learned by writing chimp’s garbage collector (opens in new tab)(tomlee.co)2thomaslee13y ago1Save
5Managed & owned boxes in the Rust programming language (opens in new tab)(tomlee.co)3thomaslee13y ago0Save
7[RubyConf 2012] Rapid Programming Language Prototypes with Ruby and Racc (opens in new tab)(tomlee.co)2thomaslee13y ago0Save
10Patching Pidgin: itch-scratching with Pidgin's D-Bus API (opens in new tab)(tomlee.co)1thomaslee13y ago0Save
11Easing the Pain of Android Software Fragmentation (opens in new tab)(blog.shinetech.com)1thomaslee14y ago0Save
12Buildr-mirah: easy build & dependency management for Mirah (opens in new tab)(github.com)GitHub1thomaslee14y ago0Save
13Eventserver: broadcast HTML(5) server-sent events with JSON (opens in new tab)(github.com)GitHub3thomaslee15y ago1Save