Zach Wegner

x86-sat. Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

faster-utf8-validator. A very fast library for validating UTF-8 using AVX2/SSE4 instructions

x86-info-term. A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses

zp7. ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill

make.py. make.py, a fast Python-based build tool (fork of https://code.google.com/archive/p/make-py/)

mutagen. Mutagen, a purely functional programming language with Pythonic syntax

Miroslav. A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD

sprdpl. Simple Python Recursive-Descent Parsing Library

CubingB. CubingB is a timer/analyzer for speedsolving Rubik's cubes, with smart cube support

slidey-blocky-thingy. Clone of Unblock Me/Rush Hour type games in react.js, with Python solver/puzzle generator

game-about-squares-solver. Solver for Game About Squares (gameaboutsquares.com)

undulance. Python Software Synthesis Framework

toys. Storage for my snippets, toy programs, etc.

zmt. A vim-esque editor with a C backend and luajit frontend

lc3b-sim. A simulator for the LC-3b microarchitecture.

stretchy. A basic Linjat/Ordinary Puzzles clone made with React

pythonc. Pythonc, a Python 3->C++ compiler.

obfusound. Old obfuscated sound-generating program, utilizing (asexual) genetic algorithms over tiny programs that run on a simple virtual machine.

boro. Boro is a very basic Amazons engine written in C. It uses very dumb monte carlo/UCT for AI.

tinychess. A very small obfuscated chess engine in C.

switchy. A simple javascript game of questionable entertainment value

speedy. Speedy is a basic bitboard chess move generator framework in C.

toga-mp. A fork of Toga II 1.2.1a, implementing multithreaded search.

prethon. Prethon is a Python based preprocessor. Take a text/code/whatever file with embedded Python macros and generate more text/code/whatever.

HN-Comment-Hider. jQuery plugin implements reddit-style comment collapse on Hacker News

zct. ZCT, my old chess program

waliki. A simple yet powerful wiki engine

quines. Some old quines I wrote intermittently between 2008 and 2010