11 results found Sort:

135
376
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
68 commits to main branch, last one 2 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
127 commits to master branch, last one 11 days ago
This repository contains CodeQL queries and libraries which support various Coding Standards.
Created 2022-07-12
3,349 commits to main branch, last one 13 hours ago
32
109
gpl-2.0
27
Transactional power-failsafe filesystem for microcontrollers
Created 2015-04-29
233 commits to master branch, last one a day 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
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
7 commits to master branch, last one 5 days 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 24 days 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