Simple Ruby server for Stripe Donations, designed for Heroku.
Minimal ed25519 Haskell package.
Enable user-mode access to ARMv7/Linux performance counters
Backblaze B2 storage backend for Phabricator.
Yubikey OTP authentication for Phabricator
A very fast Haskell library for generating high quality pseudo-random numbers.
USB Armory scripts and other nonsense.
Official upstream development repository for Cabal and cabal-install
american fuzzy lop (copy of the source code for easy access)
RakNet is a cross platform, open source, C++ networking engine for game programmers.
Simple C library for basic crash reporting functionality, based on Phusion Passenger.
A utility to ping heroku web applications and keep them alive.
A fast and robust web server and application server for Ruby, Python and Node.js
A simple skeleton for Coq projects
Modern Haskell Cryptography
Linux/grsec source code mirror (UNOFFICIAL)
NixOps, the NixOS-based cloud deployment tool
Hydra, the Nix-based continuous build system
A Cryptol major mode for Emacs.
A miniature, portable version of bsdiff.
Usable security for the internet, Deux (in Haskell)
Compatibility shim for GHC primops
My personal collection of Dockerfiles
Minimal HMAC-SHA-512-56 Haskell package.
Minimal siphash24-MAC/siphash28-MAC Haskell package.
Minimal BLAKE Haskell package.
Minimal poly1305 Haskell package.
Minimal curve25519 Haskell package.
Haskell bindings to a minimalist, realtime, full-text search engine
SQLite4 Log-structured merge-tree (LSM) compression demo.
Haskell bindings to VMware's VIX API.
A tiny Haskell library for benchmarking IO actions.
A brainfuck JIT using RPython
Delimited, answer-type-polymorphic continuations for Haskell.
Fast cryptographic networking for Haskell
Haskell bindings to LevelDB
Slides for my monthly AHA talks
Conduit <-> libpcap interface
Haskell bindings to bsdiff
A Haskell library that implements most efficient socket to socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.
Haskell binding to the QuickLZ library
A conduit for parsing data into TCP/IP/UDP headers and frames
Extras for the Shake build system
A plugin for GHC to turn Haskell into a strict language
common subexpression elimination plugin for GHC
Example of using JIT'd code inside Native Client
random FOSS I've packaged for cydia
Linux kernel driver interface to random.org, providing an atmosphere-powered random block device
Haskell binding to google cityhash
A work-in-progress programming language; not yet suitable for users
slides/code for my Ur/Web presentation at Hac Phi 2011
Tools/utilities for Ur/Web
a demo of using Ur/Web on Heroku
Ur/Web bindings to the Sundown Markdown rendering library
a MathJax library for Ur/Web apps
A simplistic package manager for UrWeb
Simple blogging software written in Opa
example of the DynASM library
A collection of various headers etc I've assembled for C code
my copy of the 'Filet-O-Fish' DSL compiler backend
a simple calculator -> x86 asm compiler