Pinned Repositories
aMAZEingSaver
A port of the screensaver module "maze" found in xlockmore to OS X.
AoC
Solutions for Advent of Code Puzzles
AoC21
Asm6502
Assembler for the MOS Technology 6502
BrewingComputations
Common computations needed by Homebrewers
ClockSaver
A port of the KDE screensaver module "KClock" which shows a simple analog clock to OS X.
Fuzzer
Fuzzing C-Compilers with QuickCheck
FuzzyClock
Displays a fuzzy clock in the macOS menu bar.
Kraftstoff
An iOS-App to track your fuel economy.
Refracto
iOS Refractometer Calculator for Homebrewers
m-schmidt's Repositories
m-schmidt/FuzzyClock
Displays a fuzzy clock in the macOS menu bar.
m-schmidt/Fuzzer
Fuzzing C-Compilers with QuickCheck
m-schmidt/Asm6502
Assembler for the MOS Technology 6502
m-schmidt/ClockSaver
A port of the KDE screensaver module "KClock" which shows a simple analog clock to OS X.
m-schmidt/Refracto
iOS Refractometer Calculator for Homebrewers
m-schmidt/Kraftstoff
An iOS-App to track your fuel economy.
m-schmidt/aMAZEingSaver
A port of the screensaver module "maze" found in xlockmore to OS X.
m-schmidt/AoC
Solutions for Advent of Code Puzzles
m-schmidt/AoC21
m-schmidt/BrewingComputations
Common computations needed by Homebrewers
m-schmidt/CS410-17-Exercises
m-schmidt/ebc-graphics
SVG Graphics for EBC Colors
m-schmidt/Haskell-Coq-Base
Haskell + Coq base project
m-schmidt/HelloSilicon
An attempt with assembly on the machine we must not speak about
m-schmidt/m-schmidt.github.io
Github Pages
m-schmidt/OCaml-Coq-Base
OCaml + Coq base project
m-schmidt/PopoverRestoration
A demo project for iOS state restoration with view controllers presented through UIPopoverPresentationControllers.