QuantumLeaps / DBC-for-embedded-CLinks
Design By Contract (DBC) for embedded C and C++
☆22Updated 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:
- DTask is a scheduler for statically dependent tasks.☆27Updated 7 years ago
- String parsing library combining the memory safety of strsep and the convenience of a sscanf-like interface.☆28Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆39Updated 9 months ago
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- Open source file system for small embedded systems☆37Updated this week
- Core components, subsystems, and utilities for the Embedded Virtual Machine☆51Updated 2 years ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆43Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with CMake☆23Updated 9 months ago
- A fast and lightweight event loop for embedded platforms.☆110Updated 3 years ago
- Versatile and easy to use C language utility library with functions and macros commonly used in various applications☆74Updated 2 months ago
- "Low ceremony" graphical modeling and code generation tool based on QP frameworks and Hierarchical State Machines (UML Statecharts)☆165Updated 3 months ago
- Small C library for microcontrollers. Code is based on klibc.☆119Updated 4 years ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated 2 years ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆142Updated last week
- Generic single-file implementations of AVL tree in C and C++ suitable for deeply embedded systems. There is little activity because the p…☆23Updated last week
- A Swiss Army knife scheduler for embedded systems☆68Updated 6 years ago
- Microkernel-based realtime operating system for microcontrollers☆86Updated 2 weeks ago
- Small UNIX-like Real Time Operating System based on FreeRTOS kernel.☆17Updated 3 years ago
- a memory allocator for embedded systems (microcontrollers)☆67Updated 7 years ago
- Embedded logger with minimal footprint and memory usage☆43Updated 6 months ago
- A cooperative operating system based on coroutines☆89Updated 2 years ago
- Linux Kernel configuration tools - Windows Port☆18Updated 2 years ago
- A C99 implementation of the Consistent Overhead Byte Stuffing ("COBS") algorithm.☆63Updated last year
- A Lock Free Bipartite Buffer Library written in standard C11☆108Updated last year
- Veristand C/C++ Model Code Generator☆12Updated 8 years ago
- An active object messaging framework for microcontrollers in C☆24Updated 3 years ago
- EMbedded ZModem☆35Updated 2 years ago
- Phoenix-RTOS microkernel repository☆150Updated this week
- 🦁 Nala - A delightful test framework for C projects.☆68Updated last month
- ☆10Updated 5 years ago