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/lczero-book-maker
For making Polyglot .bin opening books using lczero.
petersn/binpatch
Patch a running binary.
petersn/goodhart
petersn/video-compression-lab
Course 6 style lab for video compression.
petersn/bit-blasting-SAT
Some simple experiments with DPLL and bit-blasting SAT for solving with fixed-width integers.
petersn/buck-impressor
A repository created solely for the purpose of impressing Buck Shlegeris.
petersn/calculus
Some basic experiments with types.
petersn/diary
My diary
petersn/dyck-coq
A formalization of the Dyck language in Coq.
petersn/hibrian
Hi, Brian! How are you doing?
petersn/lczero-gui
GUI for watching self-play training games progress while donating GPU time to the Leela Chess Zero project.
petersn/x-or-y
Make classifiers that distinguish pictures with a single command.
petersn/Brain-Flak
A minimalist esolang designed to be painful to use
petersn/break-my-cipher
Design a block cipher, and have it automatically broken.
petersn/cart-pusher
A simple multiplayer FPS about pushing a cart.
petersn/ChompZero
AlphaZero for Chomp
petersn/cl
Crappy language
petersn/gaits
Exploration of RL for gait discovery.
petersn/image-regions
Simple image region annotation and ML.
petersn/language-play
Just playing around with some PL concepts.
petersn/leela-chess
A chess adaption of GCP's Leela Zero
petersn/mpc-tidbids
Versioning some stuff before I put together my final MPC library.
petersn/OLD-petersn.github.io
Website
petersn/parsec
A monadic parser combinator library
petersn/pwnfilter
Bloom filter for checking if a password has been pwned client side.
petersn/snpgo
petersn/TinyMLChess
Tiny chess engine using modern ML
petersn/unity-demo1
Demo I made in a couple days in Unity, as my first real usage of Unity.
petersn/verified-ranked-pairs
Formally verified Ranked Pairs for voting.
petersn/yaggs
Yet Another Generic Game Server