Pinned Repositories
block_samples
Sample uses of C/Objective-C Blocks
iphonesim
Command Line Client for the iPhone Simulator
libevil_patch
An implementation of function patching for iOS, without the use of W|X pages.
libffi-ios
The iOS support code has been merged into the upstream libffi.
simlaunch
GUI Mac Wrapper for iPhone Simulator Binaries.
swift-freebsd
The Swift Programming Language
task-unchain
Patch for taskgated that disables entitlement restrictions (including AppStore-only restrictions)
Testability-CVE-2014-1266
Demonstrating that SSLVerifySignedServerKeyExchange() is trivially testable.
XcodePostFacto
Xcode 6.3 for Mac OS X 10.9
landonf's Repositories
landonf/swift-freebsd
The Swift Programming Language
landonf/objectdoc
Experiments in documentation
landonf/XSmallTest
Minimal single-header DSL for defining Xcode XCTest-compatible test cases.
landonf/AirPortUtilityV5
Binary patch to support AirPort Utility v5.6.1 on Mac OS X 10.9.5
landonf/freebsd
FreeBSD src tree
landonf/bhnd_nvram_fmt
Horrible code to extract NVRAM/SPROM layout from Broadcom's ISC-licensed code using libclang
landonf/fql2
IDE and compiler for the next iteration of FQL, the functorial query language.
landonf/freebsd-hardware-docs
FreeBSD Driver Hardware Documentation
landonf/shoebill
A Macintosh II emulator that runs A/UX
landonf/SolidOak
An IDE for Rust
landonf/srcport
landonf/esy-opam-override
overrides for packages converted from opam
landonf/esy-solve-cudf
landonf/everest
landonf/freebsd-chromium
Chromium port for FreeBSD
landonf/freebsd-ports
FreeBSD ports tree (my locally modified ports)
landonf/freebsd-wifi-build
freebsd-wifi-build
landonf/FStar
Verification system for effectful programs
landonf/isabelle
Unofficial git mirror of the Isabelle mercurial repository (including my local development branches).
landonf/isabelle-legacy
Unofficial git mirror of the Isabelle mercurial repository (including my local development branches). Unmaintained; uses legacy hashes produced by git-remote-hg.
landonf/macports-base
The MacPorts command-line client
landonf/macports-ports
The MacPorts ports tree
landonf/numatop-freebsd
NumaTOP is an observation tool for runtime memory locality characterization and analysis of processes and threads running on a NUMA system.
landonf/objc-diff
An Objective-C API diff report generator
landonf/Remora
Dependently-typed language with Iverson-style implicit lifting
landonf/remorac
landonf/rust-lua
Safe Rust bindings to Lua 5.1
landonf/scala-js-chrome
ScalaJS bindings for Chrome Extention/App and ChromeOS APIs
landonf/sieve
Mac OS X Sieve Mail Filter editor and client (fork)
landonf/zfs-backup
Zfs backup juggling tool