This is your work, valued
simlaunch. GUI Mac Wrapper for iPhone Simulator Binaries.
350libevil_patch. An implementation of function patching for iOS, without the use of W|X pages.
271libffi-ios. The iOS support code has been merged into the upstream libffi.
78XcodePostFacto. Xcode 6.3 for Mac OS X 10.9
69swift-freebsd. The Swift Programming Language
50task-unchain. Patch for taskgated that disables entitlement restrictions (including AppStore-only restrictions)
44block_samples. Sample uses of C/Objective-C Blocks
43iphonesim. Command Line Client for the iPhone Simulator
27Testability-CVE-2014-1266. Demonstrating that SSLVerifySignedServerKeyExchange() is trivially testable.
26objectdoc. Experiments in documentation
22plblockimp. Implementation of imp_implementationWithBlock()
21XSmallTest. Minimal single-header DSL for defining Xcode XCTest-compatible test cases.
18TrapRDTSC. Kernel-level emulation of rdtsc for Mac OS X
17AirPortUtilityV5. Binary patch to support AirPort Utility v5.6.1 on Mac OS X 10.9.5
13Catch. A modern, C++-native, header-only, framework for unit-tests, TDD and BDD
5eXcode. Mirror of official repository
4freebsd. FreeBSD src tree
4mogenerator. Core Data code generation
3SolidOak. An IDE for Rust
2class-dump. Generate Objective-C headers from Mach-O files.
2shoebill. A Macintosh II emulator that runs A/UX
2simpledb-scala-binding-patches. A branch to hold patches for review
2freebsd-hardware-docs. FreeBSD Driver Hardware Documentation
2macpkg. Experimental Mac OS X port of FreeBSD's package management tools.
2fql2. IDE and compiler for the next iteration of FQL, the functorial query language.
2bhnd_nvram_fmt. Horrible code to extract NVRAM/SPROM layout from Broadcom's ISC-licensed code using libclang
2freebsd-chromium. Chromium port for FreeBSD
1isabelle. Unofficial git mirror of the Isabelle mercurial repository (including my local development branches).
1isabelle-legacy. Unofficial git mirror of the Isabelle mercurial repository (including my local development branches). Unmaintained; uses legacy hashes produced by git-remote-hg.
1FStar. Verification system for effectful programs
1macports-base. The MacPorts command-line client
1esy-opam-override. overrides for packages converted from opam
1esy-solve-cudf. Makefile
1scala-js-chrome. ScalaJS bindings for Chrome Extention/App and ChromeOS APIs
1macports-ports. The MacPorts ports tree
1sieve. Mac OS X Sieve Mail Filter editor and client (fork)
1numatop-freebsd. NumaTOP is an observation tool for runtime memory locality characterization and analysis of processes and threads running on a NUMA system.
1everest. Shell
1freebsd-ports. FreeBSD ports tree (my locally modified ports)
1freebsd-wifi-build. freebsd-wifi-build
1heimdal. Heimdal
1fatelf-haiku. Haiku-specific patches for http://icculus.org/fatelf/
1fql. A graphical IDE and compiler for FQL, the functorial query language
1objc-diff. An Objective-C API diff report generator
1haiku. My patches for Haiku. http://dev.haiku-os.org/
1CrashProbe. CrashProbe is a test suite for crash reporting services on iOS and OS X.
1zfs-backup. Zfs backup juggling tool
1haiku-buildtools. Pending patches for Haiku's build tools
1mdb-sqlite. Automatically exported from code.google.com/p/mdb-sqlite
1srcport. C++
1yet-another-commit-checker. An Atlassian Stash plugin to enforce commit message requirements.
1Remora. Dependently-typed language with Iverson-style implicit lifting
1remorac. OCaml
1rust-lua. Safe Rust bindings to Lua 5.1
1