card10logix - Official Wiki
firmware - Official firmware repository of the CCCamp2019 badge: card10 (cardio)
DEPRECATED. MicroPython is a submodule in the firmware repo now!