Pinned Repositories
AtaxxZero
Simple AlphaZero style engine for Ataxx.
autosat
Library for creation of SAT instances.
binpatch
Patch a running binary.
duckchess
An engine + analysis interface for duck chess
lczero-book-maker
For making Polyglot .bin opening books using lczero.
scowproof
A type checker for a dependent type theory.
six-char-max
80 characters per line is waaaay too many. All Python programs should have at most six characters per line.
tidbits
Random tidbits.
tinysr
Tiny Speech Recognizer
web-sploosh-kaboom
Sploosh Kaboom web interface
petersn's Repositories
petersn/elegans
C. Elegans is a compiled language like C, only more elegant. (Also, slow like a worm.)
petersn/jarlsberg
Simple game. The website link is the previous version in Python.
petersn/liblib
The library making library, linking languages from across the globe
petersn/elegans-dev
Experimental work on the future of Elegans: Completely instable for general use.
petersn/mmp
Multi-modal parser
petersn/rala_util
GitHub mirror of the Mercurial archive.
petersn/vise
Cowardly package manager.