Apache HTTP 服务器: httpd.apache.org
Iozone 文件系统基准测试: www.iozone.org
Java: java.sun.com
内核模式 Linux: www.yl.is.s.u-tokyo.ac.jp/~tosh/kml
.NET: www.microsoft.com/net
O'Caml: www.ocaml.org
携带证明的代码: raw.cs.berkeley.edu/pcc.html
类型化汇编语言: www.cs.cornell.edu/talc