davidad

8queens

x64 assembler solution to n-queens problem. Not tested for n!=8.

fasm_example_64

Using FASM (the Flat assembler) cross-platform (OSX/Linux)

asm_concurrency

A demo of concurrency primitives in x64 assembly

five-letters

Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.

chit

(early experiments toward) a version-control system for structured data

mesh

Software from scratch. An OS with the heart of a database.

selfviz

A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.

vnchacks

Sane GUIs as VNC servers

asmx

Just some stuff in FASM

fhtw

Fastest Hash Table in the West

shootout

Algorithm & Data Structure shootout

davidad.github.io

Technical Journal

libeqh

c_web_app

vim-snippets

vim-snipmate default snippets (Previously snipmate-snippets)

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

git

A fork of git, working on adding a git-log option that filters commits by whether they modify particular {function, module, class} names

hypercerts

nodes

Hacker School project representing Boolean algebra in interesting ways

tsfix

Code to attempt to debug SpaceX's corrupted MPEG-TS stream

boolean-calculator

Fork of @sudowhoami's code for code review purposes

davidad.org

fpew

Fastest Polynomial Evaluator in the West

fungi

A distributed task runner

gubpi

GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior

heroku-buildpack-openresty

openresty-heroku-example

Example usage of my OpenResty Heroku buildpack

specs-actors

Specification of builtin actors, in the form of executable code.

timetravel

TTGO_TWatch_Library