11 results found Sort:

136
380
mit
25
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 5 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 3 months ago
Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.
Created 2014-01-23
71 commits to main branch, last one 14 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 8 months ago
25
177
gpl-3.0
5
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Created 2022-03-24
133 commits to master branch, last one 6 days ago
This repository contains CodeQL queries and libraries which support various Coding Standards.
Created 2022-07-12
3,435 commits to main branch, last one 14 days ago
32
109
gpl-2.0
27
Transactional power-failsafe filesystem for microcontrollers
Created 2015-04-29
233 commits to master branch, last one about a month 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
8 commits to master branch, last one 8 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 about a month ago
3
39
bsd-3-clause
4
A Safety-Critical Utility Code
Created 2022-03-16
145 commits to main branch, last one 5 months ago