QuantumLeaps / DBC-for-embedded-C
Design By Contract (DBC) for embedded C and C++
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for DBC-for-embedded-C
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆31Updated last month
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆44Updated 11 months ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆57Updated 2 months ago
- Open source file system for small embedded systems☆31Updated 3 years ago
- Lightweight date, time & cron utilities for embedded systems☆33Updated 2 months ago
- QTools collection of open source tools for embedded systems development on Windows, Linux and MacOS☆130Updated 3 weeks ago
- Lightweight shell implementation for embedded systems☆134Updated last month
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated last month
- Small C library for microcontrollers. Code is based on klibc.☆104Updated 3 years ago
- A Swiss Army knife scheduler for embedded systems☆61Updated 5 years ago
- Embedded Systems C++ Library Support (Currently wraps libcxx)☆69Updated this week
- LibreRTOS C/C++ Portable Single-Stack RTOS☆40Updated 11 months ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆39Updated 9 months ago
- Fast, safe and easy to use Cortex-M HAL Library, written in C++ 17☆24Updated 3 months ago
- A Powerful embedded RTOS for ARM Cortex M microcontrollers☆116Updated 5 months ago
- Very small, lightning fast, yet portable RTOS with SMP suppport☆2Updated 10 months ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆45Updated 4 months ago
- A C99 implementation of the Consistent Overhead Byte Stuffing ("COBS") algorithm.☆49Updated last month
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆105Updated 6 months ago
- A fast and lightweight event loop for embedded platforms.☆97Updated 2 years ago
- State machine framework for reactive embedded systems☆55Updated 3 years ago
- Embedded logger with minimal footprint and memory usage☆29Updated 4 years ago
- OOSMOS - The Object Oriented State Machine Operating System.☆64Updated 8 months ago
- Analyses C/C++ build output for code size, static variables, and stack usage☆76Updated 4 years ago
- C library used to code JSON objects in null-terminated strings☆90Updated last year
- Wrapping FreeRTOS in modern C++ classes☆34Updated 3 years ago
- a simple xmodem receiver written in C☆8Updated 10 years ago
- Embedded (bare metal) C library for creating debug consoles☆16Updated 4 years ago
- Lightweight printf library optimized for embedded systems☆186Updated last month