Michael Schmidt's repositories
FuzzyClock
Displays a fuzzy clock in the macOS menu bar.
ClockSaver
A port of the KDE screensaver module "KClock" which shows a simple analog clock to OS X.
Kraftstoff
An iOS-App to track your fuel economy.
aioblescan
Python only library to scan and decode advertised BLE info. Uses asyncio. Can decode Ruuvi Tag. Can broadcast EddyStone packets.
aMAZEingSaver
A port of the screensaver module "maze" found in xlockmore to OS X.
BrewingComputations
Common computations needed by Homebrewers
Haskell-Coq-Base
Haskell + Coq base project
HelloSilicon
An attempt with assembly on the machine we must not speak about
m-schmidt.github.io
Github Pages
Language:HTML000
OCaml-Coq-Base
OCaml + Coq base project
ocaml-docset
An improved OCaml docset for Dash.
Language:PythonNOASSERTION000
PopoverRestoration
A demo project for iOS state restoration with view controllers presented through UIPopoverPresentationControllers.