landonf

swift-freebsd

The Swift Programming Language

objectdoc

Experiments in documentation

XSmallTest

Minimal single-header DSL for defining Xcode XCTest-compatible test cases.

AirPortUtilityV5

Binary patch to support AirPort Utility v5.6.1 on Mac OS X 10.9.5

freebsd

FreeBSD src tree

bhnd_nvram_fmt

Horrible code to extract NVRAM/SPROM layout from Broadcom's ISC-licensed code using libclang

freebsd-hardware-docs

FreeBSD Driver Hardware Documentation

SolidOak

An IDE for Rust

srcport

DoctorPretty

Wadler's "A prettier printer" embedded pretty-printer DSL for Swift

emacs

Mirror of GNU Emacs

esy-opam-override

overrides for packages converted from opam

esy-solve-cudf

everest

fql2

IDE and compiler for the next iteration of FQL, the functorial query language.

freebsd-chromium

Chromium port for FreeBSD

freebsd-ports

FreeBSD ports tree (my locally modified ports)

freebsd-wifi-build

freebsd-wifi-build

FStar

Verification system for effectful programs

isabelle

Unofficial git mirror of the Isabelle mercurial repository (including my local development branches).

isabelle-legacy

Unofficial git mirror of the Isabelle mercurial repository (including my local development branches). Unmaintained; uses legacy hashes produced by git-remote-hg.

macports-base

The MacPorts command-line client

macports-ports

The MacPorts ports tree

numatop-freebsd

NumaTOP is an observation tool for runtime memory locality characterization and analysis of processes and threads running on a NUMA system.

objc-diff

An Objective-C API diff report generator

Remora

Dependently-typed language with Iverson-style implicit lifting

rust-lua

Safe Rust bindings to Lua 5.1

scala-js-chrome

ScalaJS bindings for Chrome Extention/App and ChromeOS APIs

sieve

Mac OS X Sieve Mail Filter editor and client (fork)

zfs-backup

Zfs backup juggling tool