Pinned Repositories
8queens
x64 assembler solution to n-queens problem. Not tested for n!=8.
asm_concurrency
A demo of concurrency primitives in x64 assembly
chit
(early experiments toward) a version-control system for structured data
fasm_example_64
Using FASM (the Flat assembler) cross-platform (OSX/Linux)
five-letters
Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.
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
davidad's Repositories
davidad/8queens
x64 assembler solution to n-queens problem. Not tested for n!=8.
davidad/fasm_example_64
Using FASM (the Flat assembler) cross-platform (OSX/Linux)
davidad/asm_concurrency
A demo of concurrency primitives in x64 assembly
davidad/five-letters
Matt Parker waited 31 days for his code to solve this puzzle. I waited 445 milliseconds.
davidad/mesh
Software from scratch. An OS with the heart of a database.
davidad/selfviz
A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.
davidad/chit
(early experiments toward) a version-control system for structured data
davidad/vnchacks
Sane GUIs as VNC servers
davidad/asmx
Just some stuff in FASM
davidad/fhtw
Fastest Hash Table in the West
davidad/shootout
Algorithm & Data Structure shootout
davidad/davidad.github.io
Technical Journal
davidad/libeqh
davidad/c_web_app
davidad/forecasting
Future forecasting based upon geometric inference
davidad/vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)
davidad/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.
davidad/git
A fork of git, working on adding a git-log option that filters commits by whether they modify particular {function, module, class} names
davidad/hypercerts
davidad/nodes
Hacker School project representing Boolean algebra in interesting ways
davidad/tsfix
Code to attempt to debug SpaceX's corrupted MPEG-TS stream
davidad/boolean-calculator
Fork of @sudowhoami's code for code review purposes
davidad/davidad.org
davidad/fpew
Fastest Polynomial Evaluator in the West
davidad/fungi
A distributed task runner
davidad/gubpi
GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior
davidad/heroku-buildpack-openresty
davidad/openresty-heroku-example
Example usage of my OpenResty Heroku buildpack
davidad/specs-actors
Specification of builtin actors, in the form of executable code.
davidad/timetravel