davelab6

Dave Crossland's repositories

OpenType version of Don Knuth's Punk font

Language:Python200

Fontmonk is a simple GUI for batch converting font files with FontForge.

Language:Python1 20

Master Thesis: "Visualizations on the Web"

Language:TeX000

Fork of W3C DOM Conformance Test Suite

Language:XSLT000

Pixman with JIT compilation using COLA

Language:CNOASSERTION000

Experimental Javascript Environment

Language:JavaScriptMIT020

Google WebFonts clone you can serve from your own server, with your own fonts.

Language:PHP000

Armin Biere's PrecoSAT SAT solver

Language:C++MIT000

Reduces sudoku puzzles to CNF formulae

Language:HaskellMIT000