thomaslee
- Karma
- 175
- Created
- March 31, 2009 (17y ago)
- Submissions
- 0
http://tomlee.co
- Spin model checker open sourced under 3-clause BSD (spinroot.com)
- A More Detailed Tour of the Rust Compiler (tomlee.co)
- The Chimp Programming Language (tomlee.co)
- You're Doing It Wrong (And That's Okay) (tomlee.co)
- Coding Standards: Consistency is King (tomlee.co)
- Calling printf(…) via the LLVM C++ API (tomlee.co)
- Easing the Pain of Android Software Fragmentation (blog.shinetech.com)