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 4 months ago
- QTools collection of open source tools for embedded systems development on Windows, Linux and MacOS☆142Updated last month
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆20Updated 2 months ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆65Updated 2 weeks ago
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated 9 months ago
- Open source file system for small embedded systems☆34Updated 4 years ago
- A fast and lightweight event loop for embedded platforms.☆104Updated 3 years ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆48Updated last year
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆54Updated last week
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆41Updated last year
- Graphical modeling and code generation tool based on UML state machines☆157Updated 3 months ago
- Veristand C/C++ Model Code Generator☆12Updated 8 years ago
- Wrapping FreeRTOS in modern C++ classes☆36Updated 3 years ago
- OOSMOS - The Object Oriented State Machine Operating System.☆67Updated last year
- A Swiss Army knife scheduler for embedded systems☆68Updated 5 years ago
- One C++ project for different microcontrollers☆35Updated last week
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆120Updated last year
- OpenOCD with Zephyr patches for building Zephyr SDK☆37Updated 2 months ago
- "Lock-Free Ring Buffer" (LFRB) is a minimal, customizable implementation of a ring buffer (a.k.a. circular buffer) in C, specifically sui…☆56Updated 9 months ago
- Small System Framework - JSON parser/generator, Reed-Solomon, finite state machine framework, and other high quality interfaces for emb…☆26Updated 4 months ago
- Embedded logger with minimal footprint and memory usage☆42Updated last month
- Lightweight date, time & cron utilities for embedded systems☆42Updated 3 months ago
- Embedded Test (ET) -- The Super-Simple Embedded Test☆58Updated 2 months ago
- a simple xmodem receiver written in C☆9Updated 10 years ago
- An active object messaging framework for microcontrollers in C☆21Updated 3 years ago
- Low-memory feature-complete VFAT implementation☆40Updated 2 years ago
- Lightweight shell implementation for embedded systems☆161Updated 2 months ago
- State Machine Design in C☆151Updated 2 weeks ago
- 🗜 Compression with elimination of zeroes ⓿, optimized for data with a bit more 00 and FF bytes, as messages often carry 16, 32 or 64 bit…☆28Updated this week
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago