QuantumLeaps / DBC-for-embedded-C
Design By Contract (DBC) for embedded C and C++
☆18Updated 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
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆35Updated 4 months ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆58Updated 5 months ago
- Lightweight shell implementation for embedded systems☆143Updated 2 months ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆47Updated 8 months ago
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆48Updated 3 weeks ago
- QTools collection of open source tools for embedded systems development on Windows, Linux and MacOS☆133Updated 2 weeks ago
- Embedded Test (ET) -- The Super-Simple Embedded Test☆55Updated 4 months ago
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of a…☆17Updated last week
- Open source file system for small embedded systems☆33Updated 3 years ago
- Lightweight date, time & cron utilities for embedded systems☆34Updated 5 months ago
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated 5 months ago
- Graphical modeling and code generation tool based on UML state machines☆147Updated 2 months ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆46Updated last year
- Very small, lightning fast, yet portable RTOS with SMP suppport☆3Updated last year
- Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-b…☆75Updated this week
- "Lock-Free Ring Buffer" (LFRB) is a minimal, customizable implementation of a ring buffer (a.k.a. circular buffer) in C, specifically sui…☆42Updated 4 months ago
- Embedded Systems C++ Library Support (Currently wraps libcxx)☆74Updated 3 months ago
- Analyses C/C++ build output for code size, static variables, and stack usage☆77Updated 4 years ago
- MicroTBX is an open source Microcontroller ToolBoX consisting of software components commonly needed in embedded software applications.☆34Updated last year
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆116Updated 9 months ago
- Embedded logger with minimal footprint and memory usage☆33Updated 2 months ago
- Event-driven, preemptive, priority-based, hardware RTOS for ARM Cortex-M.☆166Updated this week
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆39Updated last year
- State machine framework for reactive embedded systems☆56Updated last month
- Embedded Building Bricks - Hierarchical State Machines, Timers, Queues, Unit Tests☆26Updated 6 years ago
- A fast and lightweight event loop for embedded platforms.☆101Updated 2 years ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆40Updated last year
- One C++ project for different microcontrollers☆30Updated 2 months ago
- Lightweight printf library optimized for embedded systems☆188Updated 4 months ago
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆22Updated last year