Pinned Repositories
CubingB
CubingB is a timer/analyzer for speedsolving Rubik's cubes, with smart cube support
faster-utf8-validator
A very fast library for validating UTF-8 using AVX2/SSE4 instructions
game-about-squares-solver
Solver for Game About Squares (gameaboutsquares.com)
make.py
make.py, a fast Python-based build tool (fork of https://code.google.com/archive/p/make-py/)
Miroslav
A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
mutagen
Mutagen, a purely functional programming language with Pythonic syntax
sprdpl
Simple Python Recursive-Descent Parsing Library
x86-info-term
A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
x86-sat
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
zp7
ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill
zwegner's Repositories
zwegner/x86-sat
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
zwegner/faster-utf8-validator
A very fast library for validating UTF-8 using AVX2/SSE4 instructions
zwegner/x86-info-term
A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
zwegner/zp7
ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill
zwegner/make.py
make.py, a fast Python-based build tool (fork of https://code.google.com/archive/p/make-py/)
zwegner/mutagen
Mutagen, a purely functional programming language with Pythonic syntax
zwegner/Miroslav
A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD
zwegner/sprdpl
Simple Python Recursive-Descent Parsing Library
zwegner/game-about-squares-solver
Solver for Game About Squares (gameaboutsquares.com)
zwegner/CubingB
CubingB is a timer/analyzer for speedsolving Rubik's cubes, with smart cube support
zwegner/undulance
Python Software Synthesis Framework
zwegner/slidey-blocky-thingy
Clone of Unblock Me/Rush Hour type games in react.js, with Python solver/puzzle generator
zwegner/zmt
A vim-esque editor with a C backend and luajit frontend
zwegner/stretchy
A basic Linjat/Ordinary Puzzles clone made with React
zwegner/toys
Storage for my snippets, toy programs, etc.
zwegner/HN-Comment-Hider
jQuery plugin implements reddit-style comment collapse on Hacker News
zwegner/switchy
A simple javascript game of questionable entertainment value
zwegner/.files
zwegner/alphabet
Waste your time by typing the alphabet really fast in this thrillingly dumb game!
zwegner/codegen
Extension to ast that allow ast -> python code generation.
zwegner/cube-color-trainer
Trainer to help memorize the color scheme of a Rubik's cube
zwegner/cubing
Repo for random data related to speedsolving the Rubik's cube and related "twisty puzzles"
zwegner/libvterm
https://github.com/neovim/neovim/wiki/Deps#forks
zwegner/light-bipes
Simple but fast TCP proxying client/server in Python
zwegner/neovim
Vim-fork focused on extensibility and usability
zwegner/penpa-edit
Web application to create and solve Sudokus and Puzzles
zwegner/python-websocket-server
A simple fully working websocket-server in Python with no external dependencies
zwegner/subtree.py
A basic wrapper around git subtree, with support for aliases, listing, and auto-stashing
zwegner/travisdowns.github.io
Performance Matters blog content
zwegner/zwegner.github.io