petersn's repositories
web-sploosh-kaboom
Sploosh Kaboom web interface
sat-synthesis
CEGIS loop for exact synthesis of minimal circuits using SAT solvers
small-arithmetic
Finding circuits for small arithmetic operations
circuit-boilerplate
Generator for boilerplate circuits
000
egui-custom-dnd
Some custom drag and drop for egui.
factorio-mods
Some custom factorio mods
hardware
Some hardware nonsense
000
make-a-microprocessor
Make a microprocessor via a series of puzzles
peter-engine
My game engine that I use for personal projects -- I don't encourage anyone else to build on it
reed-solomon-sat
Using SAT solving to optimize Reed-Solomon codes
tt06-submission
Submission for TT06
Language:VerilogApache-2.0000
000
wasm-mutex-test
A test for mutexes in Rust
Language:Rust000