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/tinysr
Tiny Speech Recognizer
petersn/autosat
Library for creation of SAT instances.
petersn/scowproof
A type checker for a dependent type theory.
petersn/AtaxxZero
Simple AlphaZero style engine for Ataxx.
petersn/libwebode
Integrating ODEs/PDEs in the browser
petersn/card-generator
Card generator thing for my brother
petersn/simple-thread-pool
Some experiments with a simple thread pool for C++
petersn/snprotohash
Experiments with prototyping fast hash functions
petersn/ansi-wrap
Create ansi colors by passing open and close codes.
petersn/awful-lang
An awful language.
petersn/barnesgraph
A thing for laying out graphs
petersn/btreetests
B-tree performance and correctness tests
petersn/EdgeConnectZero
Deep RL engine for EdgeConnect
petersn/erasure-codes
Some experiments with erasure codes
petersn/lexingtest
Benchmark for lexing speed.
petersn/libffi
A portable foreign-function interface library.
petersn/libsplooshkaboom
A Python + C++ library plus service for computing the best moves in Sploosh Kaboom
petersn/mapwar
A ripoff of games like dice wars and generals.io
petersn/mustardwatch
Detect what files a program uses and rerun it when they change
petersn/nntb
Experiments with teaching a deep convolutional network to memorize Chess endgame tablebases.
petersn/OnitamaEngine
petersn/peterhdl-2304c-submission
Repo for my submission to the 2304C chipIgnite shuttle.
petersn/predictions
petersn/prisoners-dilemma
petersn/rrstreamdb
petersn/rs-tiled
Reads files from the Tiled editor into Rust
petersn/scowsat
ScowSAT
petersn/snpataxx
petersn/time-sync
Experiments with syncing up time between two computers.
petersn/ts-rs
Generate TypeScript bindings from Rust types