QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆21Updated 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☆37Updated 5 months ago
- Graphical modeling and code generation tool based on UML state machines☆159Updated 3 weeks ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆49Updated last year
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- QTools collection of open source tools for embedded systems development on Windows, Linux and MacOS☆142Updated last week
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated 10 months ago
- Open source file system for small embedded systems☆34Updated 4 years ago
- Code generator for C struct serialization☆21Updated 10 years ago
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆55Updated last week
- A fast and lightweight event loop for embedded platforms.☆105Updated 3 years ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆41Updated last year
- A minimalist UML State machine framework for finite state machine and hierarchical state machine in C☆188Updated last year
- "Lock-Free Ring Buffer" (LFRB) is a minimal, customizable implementation of a ring buffer (a.k.a. circular buffer) in C, specifically sui…☆56Updated 10 months ago
- Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation take…☆338Updated 3 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…☆21Updated 3 months ago
- A lean C++ string format library (mainly) for embedded platforms☆20Updated 6 years ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆66Updated last month
- Microkernel-based realtime operating system for microcontrollers☆62Updated last month
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆120Updated last year
- a memory allocator for embedded systems (microcontrollers)☆66Updated 7 years ago
- Embedded Test (ET) -- The Super-Simple Embedded Test☆59Updated 3 months ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆52Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆22Updated 5 months ago
- A Swiss Army knife scheduler for embedded systems☆69Updated 6 years ago
- Lightweight shell implementation for embedded systems☆166Updated 3 months ago
- State Machine Design in C☆154Updated last month
- An active object messaging framework for microcontrollers in C☆21Updated 3 years ago
- Embedded Building Bricks - Hierarchical State Machines, Timers, Queues, Unit Tests☆26Updated 7 years ago
- Wrapping FreeRTOS in modern C++ classes☆37Updated 3 years ago
- Portable hierarchical state machine written in C ( no use of malloc )☆19Updated 8 months ago