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☆38Updated 6 months ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆140Updated this week
- "Low ceremony" graphical modeling and code generation tool based on QP frameworks and Hierarchical State Machines (UML Statecharts)☆160Updated this week
- Open source file system for small embedded systems☆34Updated 4 years ago
- A fast and lightweight event loop for embedded platforms.☆105Updated 3 years ago
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆50Updated last year
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆69Updated 2 months ago
- Microkernel-based realtime operating system for microcontrollers☆62Updated this week
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆42Updated last year
- Lightweight date, time & cron utilities for embedded systems☆46Updated this week
- A Swiss Army knife scheduler for embedded systems☆69Updated 6 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…☆60Updated 11 months ago
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated 11 months ago
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated last year
- Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions☆265Updated last year
- A cooperative operating system based on coroutines☆87Updated 2 years ago
- Lightweight dynamic memory manager library for embedded systems with memory constraints. It implements malloc, calloc, realloc and free f…☆398Updated 2 weeks ago
- Lightweight shell implementation for embedded systems☆169Updated this week
- Phoenix-RTOS microkernel repository☆146Updated this week
- Lightweight JSON parser for embedded systems☆231Updated last month
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆22Updated 6 months ago
- A C99 implementation of the Consistent Overhead Byte Stuffing ("COBS") algorithm.☆61Updated 11 months ago
- Wrapping FreeRTOS in modern C++ classes☆37Updated 3 years ago
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆19Updated last week
- Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-b…☆94Updated this week
- a memory allocator for embedded systems (microcontrollers)☆66Updated 7 years ago
- A minimalist UML State machine framework for finite state machine and hierarchical state machine in C☆208Updated last year
- TI MCU+ SDK core source code repository with drivers, protocol stacks and example applications☆57Updated 2 weeks ago
- Reusable project skeleton for embedded C & C++ projects using CMake.☆52Updated last year