QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆23Updated 3 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:
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated last year
- A fast and lightweight event loop for embedded platforms.☆111Updated 3 years ago
- OOSMOS - The Object Oriented State Machine Operating System.☆69Updated 2 months ago
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆39Updated 11 months ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆143Updated last month
- A Swiss Army knife scheduler for embedded systems☆69Updated 6 years ago
- Open source file system for small embedded systems☆38Updated last week
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆75Updated 4 months ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆52Updated 3 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…☆19Updated last month
- a memory allocator for embedded systems (microcontrollers)☆67Updated 8 years ago
- Memory protected microkernel realtime operating system for microcontrollers without MMU.☆99Updated this week
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆24Updated 11 months ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆44Updated 2 years ago
- Small UNIX-like Real Time Operating System based on FreeRTOS kernel.☆18Updated 3 years ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆23Updated 2 weeks ago
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆62Updated last month
- Phoenix-RTOS microkernel repository☆154Updated this week
- Lightweight date, time & cron utilities for embedded systems☆50Updated 4 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…☆23Updated 3 weeks ago
- DTask is a scheduler for statically dependent tasks.☆27Updated 7 years ago
- A cooperative operating system based on coroutines☆90Updated 2 years ago
- A C99 implementation of the Consistent Overhead Byte Stuffing ("COBS") algorithm.☆64Updated last year
- An implementation of CBOR in C☆50Updated 3 months ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆56Updated last year
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆128Updated last year
- A constrained node implementation of CBOR in C☆78Updated 4 years ago
- A fast and flexible data logging/tracing toolkit for software testing, debugging, and visualization. Features minimally intrusive C/C++ c…☆105Updated last month
- Veristand C/C++ Model Code Generator☆12Updated 8 years ago
- Event system / event bus, message channel for embedded systems☆15Updated 7 years ago