MicroPython is developed using git for source code management, and the master repository can be found on GitHub at github.com/micropython/micropython.
The full source-code distribution of the latest version is available for download here:
Daily snapshots of the GitHub repository (not including submodules) are available from this server:
Firmware for various microcontroller ports and boards are built automatically on a daily basis and can be found below.
Port: cc3200, esp32, esp8266, mimxrt, nrf, rp2, samd, stm32
Feature: Infrared [x]
Vendor: Actinius, Adafruit, Arduino, BBC, Espressif, Espruino, George Robotics, I-SYST, Laird Connectivity, Lego, M5 Stack, McHobby, Microchip, MikroElektronika, MiniFig Boards, NXP, Nordic Semiconductor, OLIMEX, PJRC, Particle, Pimoroni, Pycom, Raspberry Pi, ST Microelectronics, Seeed Studio, Seeed Technology Co.,Ltd., Silicognition LLC, Sparkfun, Unexpected Maker, Unknown, VCC-GND Studio, Wemos, Wireless-Tag, u-blox
MCU: RP2040, cc3200, esp32, esp32c3, esp32s2, esp32s3, esp8266, mimxrt, nrf51, nrf52, nrf91, rp2040, samd21, samd51, stm32, stm32f0, stm32f4, stm32f7, stm32h7, stm32l0, stm32l4, stm32wb