petersn

lczero-book-maker

For making Polyglot .bin opening books using lczero.

binpatch

Patch a running binary.

goodhart

video-compression-lab

Course 6 style lab for video compression.

bit-blasting-SAT

Some simple experiments with DPLL and bit-blasting SAT for solving with fixed-width integers.

buck-impressor

A repository created solely for the purpose of impressing Buck Shlegeris.

calculus

Some basic experiments with types.

diary

My diary

dyck-coq

A formalization of the Dyck language in Coq.

hibrian

Hi, Brian! How are you doing?

lczero-gui

GUI for watching self-play training games progress while donating GPU time to the Leela Chess Zero project.

x-or-y

Make classifiers that distinguish pictures with a single command.

Brain-Flak

A minimalist esolang designed to be painful to use

break-my-cipher

Design a block cipher, and have it automatically broken.

cart-pusher

A simple multiplayer FPS about pushing a cart.

ChompZero

AlphaZero for Chomp

cl

Crappy language

gaits

Exploration of RL for gait discovery.

image-regions

Simple image region annotation and ML.

language-play

Just playing around with some PL concepts.

leela-chess

A chess adaption of GCP's Leela Zero

mpc-tidbids

Versioning some stuff before I put together my final MPC library.

OLD-petersn.github.io

Website

parsec

A monadic parser combinator library

pwnfilter

Bloom filter for checking if a password has been pwned client side.

snpgo

TinyMLChess

Tiny chess engine using modern ML

unity-demo1

Demo I made in a couple days in Unity, as my first real usage of Unity.

verified-ranked-pairs

Formally verified Ranked Pairs for voting.

yaggs

Yet Another Generic Game Server