QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆22Updated 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:
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆39Updated 8 months ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆43Updated last year
- 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.☆109Updated 3 years ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆141Updated this week
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆74Updated last month
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆50Updated last year
- "Low ceremony" graphical modeling and code generation tool based on QP frameworks and Hierarchical State Machines (UML Statecharts)☆165Updated 2 months ago
- Open source file system for small embedded systems☆37Updated 4 years ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated last year
- DTask is a scheduler for statically dependent tasks.☆27Updated 7 years ago
- Linux Kernel configuration tools - Windows Port☆18Updated 2 years ago
- Embedded Systems C++ Library Support (Currently wraps libcxx)☆93Updated last year
- a memory allocator for embedded systems (microcontrollers)☆67Updated 7 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Updated 3 years ago
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆22Updated 6 months ago
- Lightweight date, time & cron utilities for embedded systems☆50Updated last month
- A C99 implementation of the Consistent Overhead Byte Stuffing ("COBS") algorithm.☆63Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆23Updated 8 months ago
- Event system / event bus, message channel for embedded systems☆15Updated 7 years ago
- Compute any CRC, a bit at a time, a byte at a time, and a word at a time.☆334Updated 9 months ago
- A cooperative operating system based on coroutines☆89Updated 2 years ago
- A Swiss Army knife scheduler for embedded systems☆68Updated 6 years ago
- Wrapping FreeRTOS in modern C++ classes☆37Updated 3 weeks ago
- Lightweight shell implementation for embedded systems☆176Updated last month
- Phoenix-RTOS microkernel repository☆149Updated this week
- MISRA-C:2004 simplest rules checker☆28Updated 14 years ago
- State machine framework for reactive embedded systems☆57Updated this week
- Code generator for C struct serialization☆21Updated 11 years ago