Pinned Loading

1. EVC-Purdue/AutonomousKart EVC-Purdue/AutonomousKart Public

   Main codebase for the Autonomous kart project!

   Python 13 2

2. Firefly Firefly Public

   A (mostly) hand-made real-time operating system for the STM32F4, featuring an event-driven, preemptive scheduler with priority-based task ordering, along with queue, mutex, and semaphore primitives

   C

3. Buffalo Buffalo Public

   A formally verified Secure Bootloader with SPARK Ada for STM32F4, featuring signature verificatition & automatic rollback

   C

4. Dragonfly Dragonfly Public

   A Bare-Metal Flight Controller for an Autonomous Drone written in C, featuring a PID Control loop, IMU integration, Mahony Filtering, and DShot600 protocol support

   C

5. Dragonfly_Ground_Station Dragonfly_Ground_Station Public

   Wi-Fi ground control station for commanding an autonomous drone from a laptop CLI

   C

6. ESP32_Bridge ESP32_Bridge Public

   ESP32-based telemetry and command bridge connecting a ground station to an STM32 flight controller, with RC passthrough and an onboard status display, for my autonomous drone.

   C