davidad Goto Github PK

8queens

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

am147_project

asm_concurrency

A demo of concurrency primitives in x64 assembly

asmx

Just some stuff in FASM

asymptones_script

Asymptones Concert Script (for May 2011 concert)

awesome-keyboard

Make your keyboard sound awesome again!

boolean-calculator

Fork of @sudowhoami's code for code review purposes

c_web_app

chit

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

conformal_propulsion

Experimental Control Program for Conformal Propulsion

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.github.io

Technical Journal

davidad.org

differential_evolution

What a fascinating little optimization algorithm.

dynasm_toys

Just playing around with Mike Pall's DynASM.

etir

SU GSP10 Space-TP ETIR

fasm_example_64

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

fhtw

Fastest Hash Table in the West

fingering

An engine to determine the most efficient fingerings of chord sequences on musical instruments.

five-letters

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

forecasting

Future forecasting based upon geometric inference

fpew

Fastest Polynomial Evaluator in the West

fungi

A distributed task runner

generate_cert

Code I've used for creating HTTPS client certificates (platform: PL/PerlU, OpenResty)

git

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

gubpi

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

heroku-buildpack-openresty

hs_learning_styles

A Chrome extension with a very specific purpose

hypercerts

kokompe-old

Resurrected kokompe repository from 2008