Dan Amelang

nile. Common Lisp

gezira. C

jitblt. Pixman with JIT compilation using COLA

mico. Experimental Javascript Environment

silt. Smalltalk

precosat. Armin Biere's PrecoSAT SAT solver

nile-viz-comps.

sdk2cnf. Reduces sudoku puzzles to CNF formulae

dom-ts. Fork of W3C DOM Conformance Test Suite