Zephyrine: An augmented Agentic Assistant GNC framework system for experimental Aircraft. Engineered for processing of navigation loops and sensor fusion and adaptation to bridge the gap between st…

Automated Reasoning in Nonlinear Theories of Reals

generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen) http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356745

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

A Safety-Critical Utility Code

Embedded C avionics software simulator with ARINC 429, CAN bus, PID altitude hold, and unit tests

Flight software for the Luna-Aegis Short Hopper — a reusable single-stage VTOL lunar shuttle for crew/cargo transfer between low lunar orbit and the surface. Built on NASA cFS Draco (cFE 7.0).

self-made Flight Controller based on STM32 encluding EKF navigation and Cascaded control systems

Simulator of the SSJ-100 aircraft air conditioning system (ATA-21). Dual-channel redundant controller with 7-state FSM, thermodynamic physics model, 13 test scenarios. ISO C99, no malloc, no math.h…

A Rust flight control system, derived from CleanFlight

Command-line tool from the Alire project and supporting library

Repository for the HARDENS project

The Integrated Flight Management System combines MATLAB/Simulink and Python components to implement a full-featured Flight Management System.The README explains that the project integrates navigati…

AI-powered DevOps assistant for automating build, verification, and compliance processes in safety-critical embedded systems. Designed for aerospace-grade software pipelines (DO-178C ready).

DO-178C/DO-254 DAL-A electro-hydrostatic Flight Control Actuator — full ARP4754A/ARP4761 MBSE digital twin in Sylang (auto/aero/medical demo set)

DO-178C Level B certified Engine Health Monitoring System for commercial aviation turbofan engines. Real-time parameter monitoring, predictive maintenance, and crew alerting.

DO-178C/DO-254 DAL-B UAV Flight Management System — full ARP4754A/ARP4761 MBSE digital twin in Sylang (auto/aero/medical demo set)

Developed and validated code and algorithms for the DO-178C avionics standard. These are just some of the huge amount of trials and projects developed

Drone Delivery SDLC — hybrid (DO-178C + Agile) workflow report for a 20-person program

Deterministic, bit-perfect AI inference for safety-critical systems

C functional safety toolkit — MISRA-C, CERT-C, ISO 26262, DO-178C, IEC 61508

A collection of StrictDoc templates for various standards.

Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.

ROS stack with an efficient real-time NMPC for the Crazyflie 2.1

Information about verification tools. Browse the data at https://slebok.github.io/proverb/

hamr-system-testing-case-studies

Customization of PX4 firmware to introduce a custom flight control stack

Language models for Coq based on data collected from the coq lsp.