11 results found Sort:

134
374
mit
24
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
Created 2016-10-03
149 commits to master branch, last one 4 months ago
A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems
Created 2015-08-07
627 commits to master branch, last one about a month ago
Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.
Created 2014-01-23
65 commits to main branch, last one 7 days ago
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...
Created 2020-01-22
81 commits to master branch, last one 7 months ago
24
174
gpl-3.0
5
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Created 2022-03-24
125 commits to master branch, last one 9 days ago
This repository contains CodeQL queries and libraries which support various Coding Standards.
Created 2022-07-12
3,298 commits to main branch, last one 6 days ago
32
108
gpl-2.0
27
Transactional power-failsafe filesystem for microcontrollers
Created 2015-04-29
232 commits to master branch, last one 2 months ago
mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development
Created 2016-09-04
1,210 commits to master branch, last one 3 years ago
3
37
bsd-3-clause
4
A Safety-Critical Utility Code
Created 2022-03-16
145 commits to main branch, last one 4 months ago
IAV quantumSAR - "Quantum-proof your data with our state of the art cryptographic implementation"
Created 2023-11-13
30 commits to main branch, last one 8 days ago
Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-based decoding application, demo code included.
Created 2024-05-11
6 commits to master branch, last one 24 days ago