nile. Common Lisp
735gezira. C
168jitblt. Pixman with JIT compilation using COLA
31mico. Experimental Javascript Environment
22silt. Smalltalk
6precosat. Armin Biere's PrecoSAT SAT solver
6nile-viz-comps.
4sdk2cnf. Reduces sudoku puzzles to CNF formulae
2dom-ts. Fork of W3C DOM Conformance Test Suite
2