misra

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems

Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈120 cycles @ RP2350 irrespective of heap usage. There is little activity because the project is finished and does not require further changes.

Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.

This repository contains CodeQL queries and libraries which support various Coding Standards.

A fast and flexible data logging/tracing toolkit for software testing, debugging, and visualization. Features minimally intrusive C/C++ code instrumentation, a host-based decoding application, and demo code. It is essentially an fprintf() function that runs on the host instead of the embedded system.

NaiveSystems Analyze is a static analysis tool for code security and compliance.

Transactional power-failsafe filesystem for microcontrollers

mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development

IAV quantumSAR - "Quantum-proof your data with our state of the art cryptographic implementation"

A Safety-Critical Utility Code

@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite

Embedded C and C++ Coding Style

AutonomousGuy — AI skill prompts for embedded automotive engineers (AUTOSAR, MISRA, ISO 26262, ECU)

MISRA-C Check on VSCode

Safety-Critical bootloader, written by following MISRA guidelines

The open-source MCP server behind ByteAsk Embedded Docs: a source-grounded, page-cited evidence-retrieval server for coding agents (Claude Code, Codex, Cursor) that write firmware / driver / protocol code and need exact facts.

Docker image for cppcheck

Functional safety (ISO-26262) and ADAS

Examples of intrusive container templates in C++.