petersn

web-sploosh-kaboom. Sploosh Kaboom web interface

six-char-max. 80 characters per line is waaaay too many. All Python programs should have at most six characters per line.

tinysr. Tiny Speech Recognizer

duckchess. An engine + analysis interface for duck chess

autosat. Library for creation of SAT instances.

circuitsnippets. The source for circuitsnippets.com

tidbits. Random tidbits.

scowproof. A type checker for a dependent type theory.

ice40pnr. Very basic and dumb pnr for iCE40, as a demo of generating valid bitstreams

lczero-book-maker. For making Polyglot .bin opening books using lczero.

AtaxxZero. Simple AlphaZero style engine for Ataxx.

tsr. DEFUNCT -- Rewritten at petersn/tinysr

libwebode. Integrating ODEs/PDEs in the browser

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

binpatch. Patch a running binary.

calculus. Some basic experiments with types.

video-compression-lab. Course 6 style lab for video compression.

goodhart. Jupyter Notebook

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

sat-synthesis. CEGIS loop for exact synthesis of minimal circuits using SAT solvers

basictd. TypeScript

jarlsberg. Simple game. The website link is the previous version in Python.

elegans. C. Elegans is a compiled language like C, only more elegant. (Also, slow like a worm.)

liblib. The library making library, linking languages from across the globe

hibrian. Hi, Brian! How are you doing?

fractal-vc-dimension. Numerical exploration of the VC dimension of fractals.

simple-thread-pool. Some experiments with a simple thread pool for C++

jsl. My fork of the JITX standard library

path-tracing. Monte Carlo path tracing renderer.

launcho. Simple orchestration

dyck-coq. A formalization of the Dyck language in Coq.

snprotohash. Experiments with prototyping fast hash functions

small-arithmetic. Finding circuits for small arithmetic operations

diary. My diary

micro1. Simple microprocessor with off-die SPI SRAM

egui-custom-dnd. Some custom drag and drop for egui.

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

tt06-submission. Submission for TT06

card-generator. Card generator thing for my brother

x-or-y. Make classifiers that distinguish pictures with a single command.

quantagram. TikZ based qasm diagram rendering