ahorn

android-rss. Lightweight Android library to parse RSS 2.0 feeds.

cpp-channel. Experimental Go-style concurrency for C++11

linearizability-checker. Fast linearizability checker

xv6. A simple Unix-like teaching operating system developed by MIT

smt-kit. C++11 library for many-sorted logics

native-symbolic-execution-clang. Source-to-source transformation to call native symbolic execution library and SMT Kit

gonetsync. (Currently incomplete) Paxos implementation in the Go programming language

benchmarks. A hub for sharing ideas on planning, executing and evaluating benchmarks.

spanning-tree-factorization. Algorithm for cyclic factorization of complete graphs into spanning trees with an Euler trail

hangman. Hangman game for introductory Computing course at Magdalen College School

svg3d. Illustration for Linear Algebra: Rotatable graphics with SVG

concurrent-error-recovery. Library to recover from concurrent Java runtime exceptions

plan9. UC Berkeley release of Plan 9 under the GPLv2

bf-compiler. 32-bit BF compiler written in C

bf-interpreter. BF virtual machine written in C

google-codejam. some of my codejam solutions

sup-smt-plugin. SMT plugin to find the supremum of a multiset