Pinned Repositories
bobby-car-firmware
with Field Oriented Control (FOC)
hdtp-haskell
An implementation of Heuristic-Driven Theory Projection in Haskell
mines-connectiq
simplex-watchface-connectiq
blackjack-connectiq
Coq-HoTT
A Coq library for Homotopy Type Theory
antonio-website
Antonio's website
iBox-2
Bochs 2.6.8 for iOS
HoTT
Homotopy type theory
heimerzieher's Repositories
heimerzieher/Coq-HoTT
A Coq library for Homotopy Type Theory
heimerzieher/simplex-watchface-connectiq
heimerzieher/mines-connectiq
heimerzieher/blackjack-connectiq
heimerzieher/hdtp-haskell
An implementation of Heuristic-Driven Theory Projection in Haskell
heimerzieher/bobby-car-firmware
with Field Oriented Control (FOC)
heimerzieher/antonio-website
Antonio's website
heimerzieher/iBox-2
Bochs 2.6.8 for iOS