matthew-ball

Canberra, ACT, Australia

Pinned Repositories

matthew-ball/newSAT
A naive SAT solver
Language:Haskell40
matthew-ball/config-scripts
Configuration files
Language:Emacs Lisp3 2 01
matthew-ball/z80sim
A simulator and debugger for the Z80 processor
Language:C1 2 00
matthew-ball/irc-bot
A simple IRC bot
Language:Common Lisp2 0
matthew-ball/music-theory
An implementation of music theory
Language:Python
matthew-ball/sat-solver
A simple propositional SAT solver
Language:C2 0
matthew-ball/YALE
Yet Another Lisp Environment
Language:C2 0