Repositories list

• solar_boards

  Public
  The solar panel boards for the PROVES Kit

  HTML

  •

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •5•2•0•0•Updated Feb 21, 2026Feb 21, 2026

• flight_controller_board

  Public
  The main flight computer board for the PROVES Kit.

  HTML

  •

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •4•3•4•0•Updated Feb 11, 2026Feb 11, 2026

• CircuitPython_RP2350_v5b

  Public
  Reference CircuitPython Flight Software for the Proves Kit RP2350 v5b Flight Controller Board!

  Python

  •

  MIT License

  •11•1•2•2•Updated Nov 25, 2025Nov 25, 2025

• pysquared

  Public
  PySquared flight software library for the PROVES Kit.

  Python

  •

  MIT License

  •23•13•34•5•Updated Nov 19, 2025Nov 19, 2025

• The-PROVES-Project-DAS

  Public
  A repo for storing the inputs to the NASA Debris Assessment Software (DAS)

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Nov 13, 2025Nov 13, 2025

• antenna-board

  Public
  The PROVES Kit Antenna Boards! By convention the Z+ Top Cap of the satellite.

  AGS Script

  •

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •2•0•3•0•Updated Oct 8, 2025Oct 8, 2025

• development_boards

  Public
  Miscellaneous dev boards to test the components of the PROVES Kit on a smaller scale.

  AGS Script

  •0•1•2•3•Updated Oct 7, 2025Oct 7, 2025

• proves-radio-stick

  Public
  New repo for working on a USB stick sized LoRa radio module.

  HTML

  •

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •0•0•0•0•Updated Oct 5, 2025Oct 5, 2025

• Documentation

  Public
  The Official Documentation of the PROVES kit

  2•3•1•6•Updated Oct 1, 2025Oct 1, 2025

• CircuitPython_RP2040_v4

  Public
  CircuitPython Flight Software for the Proves Kit RP2040 v4 flight controller board

  Python

  •

  MIT License

  •7•0•0•3•Updated Oct 1, 2025Oct 1, 2025

• battery_board

  Public
  The battery and power management board for the PROVES Kit.

  AGS Script

  •

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •3•1•10•0•Updated Sep 26, 2025Sep 26, 2025

• circuitpython

  Public
  CircuitPython - a Python implementation for teaching coding with microcontrollers

  C

  •

  Other

  •8.7k•0•0•1•Updated Sep 22, 2025Sep 22, 2025

• ground_station

  Public
  TypeScript

  •0•0•7•0•Updated Sep 10, 2025Sep 10, 2025

• CircuitPython_Ground_Station

  Public
  Python

  •

  MIT License

  •0•1•0•1•Updated Sep 5, 2025Sep 5, 2025

• PROVES_CircuitPython_RFM

  Public
  RFM69 and RFM9x library, with asyncio support. Forked from Adafruit

  Python

  •

  MIT License

  •9•0•0•1•Updated Sep 3, 2025Sep 3, 2025

• PROVES_CircuitPython_RV3028

  Public
  A CircuitPython driver for the RV3028 real time clock.

  Python

  •

  MIT License

  •0•0•1•1•Updated Sep 2, 2025Sep 2, 2025

• CircuitPython_RP2350_v5a

  Public
  Reference CircuitPython Flight Software for the Proves Kit RP2350 v5a Flight Controller

  Python

  •

  MIT License

  •1•0•2•0•Updated Sep 2, 2025Sep 2, 2025

• circuitpython-pico2-sleep

  Public
  Particular fork of a working implementation of light and deep sleep for the RP2350 in CircuitPython

  C

  •

  Other

  •8.7k•0•0•0•Updated Aug 20, 2025Aug 20, 2025

• CircuitPython_RP2350_v5b_PingDemo

  Public
  Reference CircuitPython Flight Software for the Proves Kit RP2350 v5b Flight Controller Board!

  Python

  •

  MIT License

  •11•0•0•0•Updated Aug 11, 2025Aug 11, 2025

• Adafruit_CircuitPython_LIS2MDL

  Public
  Adafruit CircuitPython module for the LIS2MDL 3-axis magnetometer

  Python

  •

  MIT License

  •5•0•0•0•Updated Jul 22, 2025Jul 22, 2025

• PROVES_CircuitPython_SX1280

  Public
  This is a CircuitPython driver for the SX1280 that is based on work done by Max Holliday.

  Python

  •0•0•0•0•Updated Jul 18, 2025Jul 18, 2025

• PROVES_CircuitPython_RFM9x

  Public
  CircuitPython module for the RFM95/6/7/8 LoRa wireless 433/915mhz packet radios. Forked from Adafruit

  Python

  •

  MIT License

  •52•0•0•0•Updated Jul 14, 2025Jul 14, 2025

• CircuitPython_SX1280

  Public
  CircuitPython driver for the Semtech SX1280 LoRa chip (2.4 GHz)

  Python

  •4•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• fprime-proves

  Public
  C++

  •

  Apache License 2.0

  •5•4•25•2•Updated Jun 13, 2025Jun 13, 2025

• install-firmware

  Public
  Python

  •

  MIT License

  •0•0•3•0•Updated Jun 11, 2025Jun 11, 2025

• CircuitPython_FC_V5b_HAL

  Public
  This is a repo to test out the use of a importable library for hardware abstraction of a Flight Controller Board.

  Python

  •

  MIT License

  •0•0•0•0•Updated Jun 4, 2025Jun 4, 2025

• peripheral-boards

  Public
  This is a repo for storing miscellaneous small boards that support the PROVES Kit.

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •0•0•0•0•Updated May 5, 2025May 5, 2025

• proves_ground_station

  Public archive
  Ground station software for the PROVES Kit

  TypeScript

  •

  MIT License

  •0•1•0•0•Updated Apr 25, 2025Apr 25, 2025

• Adafruit_CircuitPython_TCA9548A

  Public
  CircuitPython driver for the TCA9548A I2C Multiplexer.

  Python

  •

  MIT License

  •17•0•0•0•Updated Apr 24, 2025Apr 24, 2025

• kicad-project-template

  Public template
  This is a template repository for creating new KiCAD projects.

  CERN Open Hardware Licence Version 2 - Weakly Reciprocal

  •0•0•0•0•Updated Apr 24, 2025Apr 24, 2025