There are 2 repositories under badgelife topic.
Convert Inkscape SVG drawings to KiCad PCB and footprint modules
Hardware design of the MCH2022 badge
Software for the HackerBoxes #0080 project - a DEF CON indie badge
ESP32 launcher firmware for the MCH2022 badge
The main firmware code for the AramCon 2 Badge.
The Trans-Ionospheric badge and radio peripheral device.
Badge of OWASP LATAM Mexico 2020
DC540 Defcon Group DC29 Tree Of Life Badge public repo.
Hoja de datos y scripts para el gafete inteligente con MicroPython, basado en ESP32.
Firmware for the MCH2022 badge: RP2040 co-processor
Badges and Gadgets of Defcon - Source to Some of The Coolest badges and gadgets as seen at DEF CON
Repository for all SecKC DC 27 Badge resources
Client library on top of WebUSB to communicate with the MCH2022 badge
Plug-n-play aspiring MCH2022 badge WebIDE
Sam Badge Dulces Sueños
Code (and wiki) for the Vonage Campus Developer Track badge, based on pixl.js
The Web App that controls the Aramcon Badge
Conference badge for Hackerhotel 2020.
MicroPython as an ESP-IDF component
Badge for OpenHack Guatemala 2019 with SAMD11
MicroPython Pico Project Template.