misra topic
MISRA-Example-Suite
@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
o1heap
Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further...
libcyphal
Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.
libcanard
A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems
dbcc
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
mutator
mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development
reliance-edge
Transactional power-failsafe filesystem for microcontrollers
codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
IMBootloader
Safety-Critical bootloader, written by following MISRA guidelines
cppcheck
Docker image for cppcheck