fprime

F´ - A flight software and embedded systems framework

Generator of runtime monitors for flight and robotics applications.

Cube satellite embedded flight software, using NASA's FPrime framework in C++ on FreeRTOS.

Hands-On Prototyping Lab for Innovation, Testing, and Experimentation by Cube³. A deconstructed and modular flatsat system, allowing for high reconfigurability and rapid development.

Main flight software code

F´ Flight Software and Embedded Systems experimental ground

Raspbery Pi Pico CUBEsat-like experiment based on NASA's F'

FPOA 🤖⚡ — o funcionário que nunca dorme. Agente operacional-comercial para a F.PRIME (Felip Nunes): catálogo de 100+ fábricas, pedidos rastreados cotação→comissão, CRM com recompra, relatórios e roteiro. Sem API paga; usa o que já existe. Converse em português, o agente opera. 🎯 Pitch visual: docs/pitch/

F´ Python tooling and helpers.

Runtime assurance (ASTM F3269) for autonomous and LLM-controlled flight. A safety arbiter bounds an untrusted planner, neural policy or LLM on PX4 + ROS 2 — with formal monitors (FRET/Ogma/Copilot), DAIDALUS detect-and-avoid, geofence prediction, and a measured 61 ms p99 switch. F´/space port specified.

Fork of nasa/fprime. F´ - A flight software and embedded systems framework

FPrime Prototyping for RPi/Ubuntu. Only use on Ubuntu for Linux builds.

Rewrite F' in Rust - A flight software and embedded systems framework

Manage Forza Horizon 5 credits, unlock cars, and add wheelspins with this tool.