petersn

Elite
@petersn

web-sploosh-kaboom. Sploosh Kaboom web interface

218

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

73

tinysr. Tiny Speech Recognizer

63

duckchess. An engine + analysis interface for duck chess

23

autosat. Library for creation of SAT instances.

23

circuitsnippets. The source for circuitsnippets.com

17

tidbits. Random tidbits.

13

scowproof. A type checker for a dependent type theory.

6

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

5

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

5

AtaxxZero. Simple AlphaZero style engine for Ataxx.

4

tsr. DEFUNCT -- Rewritten at petersn/tinysr

3

libwebode. Integrating ODEs/PDEs in the browser

3

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

3

binpatch. Patch a running binary.

3

calculus. Some basic experiments with types.

2

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

2

goodhart. Jupyter Notebook

2

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

2

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

2

basictd. TypeScript

2

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

2

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

2

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

2

hibrian. Hi, Brian! How are you doing?

1

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

1

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

1

jsl. My fork of the JITX standard library

1

path-tracing. Monte Carlo path tracing renderer.

1

launcho. Simple orchestration

1

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

1

snprotohash. Experiments with prototyping fast hash functions

1

small-arithmetic. Finding circuits for small arithmetic operations

1

diary. My diary

1

micro1. Simple microprocessor with off-die SPI SRAM

1

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

1

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

1

tt06-submission. Submission for TT06

1

card-generator. Card generator thing for my brother

1

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

1

quantagram. TikZ based qasm diagram rendering

1
41
Apply