Pinned Loading

1. bobby-car-firmware bobby-car-firmware Public

   Forked from EFeru/hoverboard-firmware-hack-FOC

   with Field Oriented Control (FOC)

   C 1

2. hdtp-haskell hdtp-haskell Public

   An implementation of Heuristic-Driven Theory Projection in Haskell

   Haskell 1 1

3. mines-connectiq mines-connectiq Public

   Monkey C

4. simplex-watchface-connectiq simplex-watchface-connectiq Public

   Monkey C

5. blackjack-connectiq blackjack-connectiq Public

   Monkey C

6. Coq-HoTT Coq-HoTT Public

   Forked from HoTT/Coq-HoTT

   A Coq library for Homotopy Type Theory

   Coq