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/web-sploosh-kaboom
Sploosh Kaboom web interface
petersn/duckchess
An engine + analysis interface for duck chess
petersn/tidbits
Random tidbits.
petersn/basictd
petersn/sat-synthesis
CEGIS loop for exact synthesis of minimal circuits using SAT solvers
petersn/small-arithmetic
Finding circuits for small arithmetic operations
petersn/autosat-rs
petersn/circuit-boilerplate
Generator for boilerplate circuits
petersn/debasethecandela.org
petersn/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
petersn/egui-custom-dnd
Some custom drag and drop for egui.
petersn/egui_dnd
Drag and Drop sorting for Egui
petersn/factorio-mod-speedruns-leaderboard
petersn/factorio-mods
Some custom factorio mods
petersn/git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
petersn/hardware
Some hardware nonsense
petersn/launcho
Simple orchestration
petersn/make-a-microprocessor
Make a microprocessor via a series of puzzles
petersn/micro1
Simple microprocessor with off-die SPI SRAM
petersn/min-lin-dep
petersn/nomicon
The Dark Arts of Advanced and Unsafe Rust Programming
petersn/peter-engine
My game engine that I use for personal projects -- I don't encourage anyone else to build on it
petersn/reed-solomon-sat
Using SAT solving to optimize Reed-Solomon codes
petersn/rpi-ntsc
Bitbanging NTSC video on a Raspberry Pi 4
petersn/rust
Empowering everyone to build reliable and efficient software.
petersn/tmv
tmv
petersn/tt04
Submission for Tiny Tapeout 04
petersn/tt06-submission
Submission for TT06
petersn/usb-gpio
petersn/wasm-mutex-test
A test for mutexes in Rust