Pinned Repositories
denotational_semantics
Denotational semantics based on graph and filter models
gradual-typing-in-agda
Formalizations of Gradually Typed Languages in Agda
breakout
will always be a work in progress
ppg-dice-game
Implementation of a dice game designed by philander phtagn games.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
quarantine-jam-parking
quarantine jam 2020 game
sum17
wonks.github.io
PL Wonks website
ppg-hanabi
Hanabi implementation in Python 3 with AI players
wonks.github.io
PL Wonks website
madheime's Repositories
madheime/breakout
will always be a work in progress
madheime/ppg-dice-game
Implementation of a dice game designed by philander phtagn games.
madheime/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
madheime/quarantine-jam-parking
quarantine jam 2020 game
madheime/sum17
madheime/wonks.github.io
PL Wonks website