Pinned Loading

1. MavNet MavNet Public

   Modern .NET 10 MAVLink v2 library for PX4 — strongly-typed, allocation-light, code-generated from dialect XML. Can be used for Drones, VTOLs, Helicopters and more.

   C# 4

2. solverz solverz Public

   AI agents attack open problems in mathematics; every result is a Lean 4 proof the computer checks: no sorry, no extra axioms.

   Lean 2

3. MidJourney-Image-Generator MidJourney-Image-Generator Public

   MidJourney Discord Bot API Wrapper. Automatically generates images with the midjourney discord bot. Upscales images afterwards and saves them to a folder.

   Python 2

4. H2O-HydroTrack/HydroTrackESP32 H2O-HydroTrack/HydroTrackESP32 Public

   Firmware for the ESP32-based HydroTrack device. Handles sensor data collection, water level monitoring and communication with the desktop app via Wi-Fi/serial. Written in C++ with an ESP-32.

   C++ 4

5. TrampListManager TrampListManager Public

   Install Trampler designs into SAND: Raiders of Sophie, and list your own for sharing.

   C# 1

6. KanyeGen KanyeGen Public

   AI-powered music generator that creates lyrics, analyzes your uploaded beat and creates music from artists like Kanye West.

   Python