pavel-kirienko/o1heap

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈165 cycles on Cortex M4. There is very little activity because the project is finished and does not require further changes.

Language: C++ - Size: 6.5 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 293 - Forks: 36

naivesystems/analyze

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

Language: C++ - Size: 236 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 184 - Forks: 25

howerj/dbcc

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

Language: C - Size: 384 KB - Last synced at: 4 days ago - Pushed at: 9 months ago - Stars: 396 - Forks: 138

github/codeql-coding-standards

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

Language: CodeQL - Size: 10.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 150 - Forks: 64

OpenCyphal/libcanard

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

Language: C++ - Size: 1.14 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 356 - Forks: 205

jubnzv/MISRA-Example-Suite

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

Language: C - Size: 108 KB - Last synced at: about 15 hours ago - Pushed at: over 5 years ago - Stars: 28 - Forks: 4

OpenCyphal-Garage/libcyphal

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

Language: C++ - Size: 13.3 MB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 307 - Forks: 502

RTEdbg/RTEdbg

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.

Size: 42 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 81 - Forks: 2

Neved4/asprintf

🛠️ One true asprintf, vasprintf!

Language: C - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 1

IMProject/IMUtility

A Safety-Critical Utility Code

Language: C - Size: 7.29 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 40 - Forks: 4

IMProject/IMBootloader

Safety-Critical bootloader, written by following MISRA guidelines

Language: C - Size: 46.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 19 - Forks: 4

terminaldweller/mutator

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

Language: C++ - Size: 8.36 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 77 - Forks: 10

IMProject/.github

Size: 36.1 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

Facthunder/cppcheck

Docker image for cppcheck

Language: Dockerfile - Size: 72.3 KB - Last synced at: 12 days ago - Pushed at: 5 months ago - Stars: 19 - Forks: 6

tuxera/reliance-edge

Transactional power-failsafe filesystem for microcontrollers

Language: C - Size: 4.03 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 109 - Forks: 32

overtane/udacity-carnd-p12-2

Functional safety (ISO-26262) and ADAS

Size: 5.84 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 4

QuantumLeaps/embedded-coding-style

Embedded C and C++ Coding Style

Language: CSS - Size: 372 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 4

pallas/libite

Examples of intrusive container templates in C++.

Language: C++ - Size: 125 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 4

PjrCodes/CodeStyliser

The Code Styliser utility | A way to automatically fix MISRA-C-2012 Rule 15.6. | Adds curly braces around single-line compound statements in C, H files.

Language: Python - Size: 11 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

xcalcc/labrador

C/C++ standard compliance analyzer

Language: C - Size: 1.75 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

seanmisra/seanmisra.com

OBSOLETE: Personal Profile Page (to practice PHP, twitter-api)

Language: PHP - Size: 37.1 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Minh-CaoLeCong/MISRA_C

MISRA C 2012 guideline embedded in ECU at BOSCH.

Size: 4.55 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

gvergine/com.systemassembly.sm.dsl.parent

Open source MISRA-C compliant state machine generator.

Language: Xtend - Size: 1.54 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

paulrox/Patriots

Simulation of a Patriot missile system using real-time tasks on Linux

Language: C - Size: 58.6 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 1

stahta01/clang-tidy-misra Fork of rettichschnidi/clang-tidy-misra

MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy

Language: C++ - Size: 121 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

seanmisra/quickQuery

jQuery helper functions: UI/UX elegance

Language: JavaScript - Size: 19.5 KB - Last synced at: 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0