petersn

tinysr

Tiny Speech Recognizer

autosat

Library for creation of SAT instances.

scowproof

A type checker for a dependent type theory.

AtaxxZero

Simple AlphaZero style engine for Ataxx.

goodhart

buck-impressor

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

card-generator

Card generator thing for my brother

simple-thread-pool

Some experiments with a simple thread pool for C++

ansi-wrap

Create ansi colors by passing open and close codes.

awful-lang

An awful language.

btreetests

B-tree performance and correctness tests

ChompZero

AlphaZero for Chomp

EdgeConnectZero

Deep RL engine for EdgeConnect

erasure-codes

Some experiments with erasure codes

gaits

Exploration of RL for gait discovery.

language-play

Just playing around with some PL concepts.

lexingtest

Benchmark for lexing speed.

libffi

A portable foreign-function interface library.

libsplooshkaboom

A Python + C++ library plus service for computing the best moves in Sploosh Kaboom

mustardwatch

Detect what files a program uses and rerun it when they change

nntb

Experiments with teaching a deep convolutional network to memorize Chess endgame tablebases.

OnitamaEngine

predictions

prisoners-dilemma

rrstreamdb

scowsat

ScowSAT

snprotohash

Experiments with prototyping fast hash functions

time-sync

Experiments with syncing up time between two computers.

ts-rs

Generate TypeScript bindings from Rust types

unity-demo1

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