QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆23Updated 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:
- 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
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆39Updated 10 months ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆143Updated last week
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆75Updated 3 months ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆43Updated 2 years ago
- OOSMOS - The Object Oriented State Machine Operating System.☆69Updated last month
- A Swiss Army knife scheduler for embedded systems☆69Updated 6 years ago
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆273Updated last year
- a memory allocator for embedded systems (microcontrollers)☆67Updated 8 years ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆52Updated 2 years ago
- Phoenix-RTOS microkernel repository☆154Updated this week
- Code generator for C struct serialization☆21Updated 11 years ago
- "Lock-Free Ring Buffer" (LFRB) is a minimal, customizable implementation of a ring buffer (a.k.a. circular buffer) in C, specifically sui…☆64Updated last year
- Portable hierarchical state machine written in C ( no use of malloc )☆19Updated last year
- Open source file system for small embedded systems☆38Updated this week
- "Low ceremony" graphical modeling and code generation tool based on QP frameworks and Hierarchical State Machines (UML Statecharts)☆167Updated 4 months ago
- Embedded Systems C++ Library Support (Currently wraps libcxx)☆96Updated last year
- Lightweight date, time & cron utilities for embedded systems☆50Updated 3 months ago
- A lean C++ string format library (mainly) for embedded platforms☆22Updated 7 years ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated 2 years ago
- Veristand C/C++ Model Code Generator☆12Updated 8 years ago
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆126Updated last year
- An implementation of CBOR in C☆50Updated 2 months ago
- A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers☆133Updated last month
- An active object messaging framework for microcontrollers in C☆24Updated 3 years ago
- A cooperative operating system based on coroutines☆90Updated 2 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…☆23Updated 3 weeks ago
- EMbedded ZModem☆35Updated 2 years ago