Dave Crossland's repositories
bram-stein-thesis
Master Thesis: "Visualizations on the Web"
Language:TeX000
dom-ts
Fork of W3C DOM Conformance Test Suite
Language:XSLT000
jitblt
Pixman with JIT compilation using COLA
Language:CNOASSERTION000
php-font-proxy
Google WebFonts clone you can serve from your own server, with your own fonts.
Language:PHP000
precosat
Armin Biere's PrecoSAT SAT solver
Language:C++MIT000
sdk2cnf
Reduces sudoku puzzles to CNF formulae
Language:HaskellMIT000