Beast code in Giters

Michael Schmidt's repositories

FuzzyClock

Displays a fuzzy clock in the macOS menu bar.

Language:SwiftBSD-3-Clause18 40

Fuzzer

Fuzzing C-Compilers with QuickCheck

Language:HaskellBSD-3-Clause7 20

Asm6502

Assembler for the MOS Technology 6502

Language:HaskellBSD-3-Clause6 2 1

ClockSaver

A port of the KDE screensaver module "KClock" which shows a simple analog clock to OS X.

Language:Objective-CGPL-2.06 20

Refracto

iOS Refractometer Calculator for Homebrewers

Language:SwiftBSD-3-Clause3 3 1

Kraftstoff

An iOS-App to track your fuel economy.

Language:SwiftNOASSERTION2 20

aMAZEingSaver

A port of the screensaver module "maze" found in xlockmore to OS X.

Language:Objective-CBSD-3-Clause020

AoC

Solutions for Advent of Code Puzzles

Language:HaskellBSD-3-Clause020

AoC21

Language:HaskellBSD-3-Clause020

BrewingComputations

Common computations needed by Homebrewers

Language:HaskellBSD-3-Clause020

CS410-17-Exercises

Language:AgdaBSD-3-Clause020

ebc-graphics

SVG Graphics for EBC Colors

GPL-3.0000

Haskell-Coq-Base

Haskell + Coq base project

Language:HaskellBSD-3-Clause020

HelloSilicon

An attempt with assembly on the machine we must not speak about

Language:AssemblyMIT010

m-schmidt.github.io

Github Pages

Language:HTML010

OCaml-Coq-Base

OCaml + Coq base project

Language:CoqBSD-3-Clause020

PopoverRestoration

A demo project for iOS state restoration with view controllers presented through UIPopoverPresentationControllers.

Language:SwiftBSD-3-Clause020