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.
Badges and Gadgets of Defcon - Source to Some of The Coolest badges and gadgets as seen at DEF CON
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
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
A Duck Facts app for the Electromagnetic Field 2022 TiDAL badge
The Web App that controls the Aramcon Badge
MicroPython as an ESP-IDF component
2022 WGCTF Badge Botnet emulator
MicroPython Pico Project Template.