QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆20Updated 2 years ago
Alternatives and similar repositories for DBC-for-embedded-C
Users that are interested in DBC-for-embedded-C are comparing it to the libraries listed below
Sorting:
- Embedded Test (ET) -- The Super-Simple Embedded Test☆57Updated 2 months ago
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆36Updated 4 months ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆62Updated 2 weeks ago
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of a…☆18Updated 2 weeks ago
- Open source file system for small embedded systems☆34Updated 4 years ago
- Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-b…☆84Updated last month
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆52Updated 2 weeks ago
- A Swiss Army knife scheduler for embedded systems☆66Updated 5 years ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆49Updated last year
- Lightweight shell implementation for embedded systems☆157Updated last month
- Lightweight date, time & cron utilities for embedded systems☆41Updated 2 months ago
- Fast, safe and easy to use Cortex-M HAL Library, written in C++ 17☆25Updated 11 months ago
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆120Updated last year
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆41Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆22Updated 3 months ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆46Updated last year
- LibreRTOS C/C++ Portable Single-Stack RTOS☆40Updated last year
- Embedded logger with minimal footprint and memory usage☆40Updated last month
- QTools collection of open source tools for embedded systems development on Windows, Linux and MacOS☆140Updated 2 weeks ago
- Wrapping FreeRTOS in modern C++ classes☆36Updated 3 years ago
- Microkernel-based realtime operating system for microcontrollers☆61Updated 2 weeks ago
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated 9 months ago
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆19Updated last month
- A Clone of embUnit testing framework, see https://sourceforge.net/projects/embunit/☆18Updated 12 years ago
- State machine framework for reactive embedded systems☆56Updated 3 months ago
- ☆88Updated 2 years ago
- OpenOCD with Zephyr patches for building Zephyr SDK☆37Updated last month
- For calculating metrics on C source code.☆52Updated 2 years ago
- Graphical modeling and code generation tool based on UML state machines☆156Updated 2 months ago
- short messages compression with COBS framing using implicit run-length-encoding, optimized for data containing statistically a bit more 0…☆27Updated 3 months ago