Giters
Dan Amelang (damelang)

damelang

Geek Repo

247

followers

9

following

8

stars

Company:Undisclosed Startup

Location:San Diego, CA, USA

Github PK Tool:Github PK Tool

Dan Amelang's repositories

nile

Language:Common LispLicense:MITStargazers:712Issues:50Issues:3

gezira

Language:CLicense:MITStargazers:161Issues:23Issues:1

jitblt

Pixman with JIT compilation using COLA

License:NOASSERTIONStargazers:28Issues:3Issues:0

mico

Experimental Javascript Environment

Language:JavaScriptLicense:MITStargazers:22Issues:7Issues:0

precosat

Armin Biere's PrecoSAT SAT solver

Language:C++License:MITStargazers:5Issues:0Issues:0

silt

Language:SmalltalkStargazers:4Issues:6Issues:0

dom-ts

Fork of W3C DOM Conformance Test Suite

Language:JavaStargazers:2Issues:3Issues:0

nile-viz-comps

Stargazers:2Issues:0Issues:0

sdk2cnf

Reduces sudoku puzzles to CNF formulae

Language:HaskellLicense:MITStargazers:2Issues:2Issues:0