This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function

Verified Rust for low-level systems code

Grafana panel plugin to visualize a satellite in 3D using CesiumJS.

Keep your Grafana dashboards in sync

Online SQLite playground

Oxidized Astrodynamics

Libcsp plugin dissector for Wireshark

A curated list of engineering-related video games rated Very Positive or higher on Steam

Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization

A half-day introduction to the Rust Programming Language, for Managers, Technical Leads and Decision Makers.

https://www.meetup.com/llvm-social-berlin/events/296282330/

Small bits of Python computation for static files

The Software Bus Network Client (SBNC) enables two-way communication with NASA's core Flight System (cFS) Software Bus and an external application. SBNC implements the Software Bus Network (SBN) co…

CAN bus tools.

Software for technical documentation and requirements management.

Safe, idiomatic bindings to cFE and OSAL APIs for Rust

Safety-critical applications oriented Real-Time Operating System written in Rust

🎨 Diagram as Code for prototyping cloud system architectures

Kani Rust Verifier

Free CANopen Stack for Embedded Systems

Resumes generated using the GitHub informations

Modern embedded framework, using Rust and async.

Rust Memory Container Cheat-sheet

This KiCad plugin generates pinouts from the PCB file to various formats.

Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.

GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.

ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.

A handy tool for doing efficient in-memory commit rebases & fixups