Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Assembler for the MOS Technology 6502
Displays a fuzzy clock in the OS X menu bar.
A port of the screensaver module "maze" found in xlockmore to OS X.
iOS Refractometer tool for homebrewers
A demo project for iOS state restoration with view controllers presented through UIPopoverPresentationControllers.
A port of the KDE screensaver module "KClock" which shows a simple analog clock to OS X.
Solutions for Advent of Code Puzzles
Fuzzing C-Compilers with QuickCheck
Haskell + Coq base project
Common computations needed by Homebrewers
An iOS-App to track your fuel economy.
Testing popover behaviour
OCaml + Coq base project
A Dependently Typed Functional Programming Language
The CompCert C verified compiler