Posts Tagged ‘ dons

GHC Haskell switches to an LLVM backend! 19 February 2010 at 10:26 am by admin

submitted by dons to programming [link] [15 comments]

Read more here:
GHC Haskell switches to an LLVM backend!

+ Stackless Python outperforms Google’s Go By admin 15 November 2009 at 12:55 pm and have No Comments

submitted by mprovost to programming [link] [83 comments]

More here: 
Stackless Python outperforms Google’s Go

+ seL4 : World’s first machine-checked proof of a general-purpose operating system kernel By admin 13 August 2009 at 9:54 am and have No Comments

submitted by dons to programming [link] [33 comments]

More: 
seL4 : World’s first machine-checked proof of a general-purpose operating system kernel

+ bloxorz: an OpenGL Logic Game written in Haskell By admin 04 July 2009 at 2:56 pm and have No Comments

submitted by dons to programming [link] [24 comments]

View post: 
bloxorz: an OpenGL Logic Game written in Haskell