Design By Contract (DBC) for embedded C and C++
☆25Jan 30, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Embedded Test (ET) -- The Super-Simple Embedded Test☆86Apr 21, 2025Updated last year
- A Minimalist Asynchronous Toolkit (AMAST) is a small and efficient C99 library that helps manage complex, event-driven programs. It combi…☆30Updated this week
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆49Jan 15, 2024Updated 2 years ago
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of a…☆20Jan 8, 2026Updated 7 months ago
- zig bare-metal vector table stack☆14Mar 15, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- WCH BLE MCU reverse engineering (CH579)☆16Mar 27, 2024Updated 2 years ago
- The Software Overlay TG will specify the requirements for the software overlay feature, both from the FW manager engine and from toolcha…☆14May 24, 2022Updated 4 years ago
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 5 years ago
- Scanner utility for extended Wiren Board Modbus protocol☆17Aug 3, 2026Updated last week
- a standalone sscanf implementation with bounds checking☆21Oct 24, 2023Updated 2 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10May 18, 2025Updated last year
- ☆25Aug 19, 2021Updated 4 years ago
- Examples for the QP/C Real-Time Event Framework (see qpc repository)☆27Aug 4, 2026Updated last week
- ☆10Dec 24, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆131May 5, 2024Updated 2 years ago
- 一个强大的 C/C++ SDK 编译框架，基于 CMake 和 Kconfig，结合了 Python 脚本进行项目管理。☆11May 24, 2025Updated last year
- AGX Dynamics for Unreal plugin.☆13Updated this week
- libuvx is a libuv-based network extension library focusing on usability☆10Jan 16, 2019Updated 7 years ago
- Free ladder & sequential (grafcet) languages as used on many PLC for programming automation process.☆10Apr 3, 2023Updated 3 years ago
- A real-time caption translation tool based on VOSK speech recognition and machine translation, which supports transcribing audio into tar…☆10Mar 12, 2025Updated last year
- Portable MurmurHash Implementation☆12Feb 19, 2024Updated 2 years ago
- 🔀 Asynchronous framework in C.☆34Nov 7, 2022Updated 3 years ago
- The GUI Hex Editor/Analyzer supports remote access and template. Which works on Winodws/Linux☆16Feb 9, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code generator for C struct serialization☆21Sep 4, 2014Updated 11 years ago
- Generally useful macros for C/C++ programming☆13Jun 29, 2024Updated 2 years ago
- A command line interface to combine text information from subtitles with voice data in the video. Provides a convenient way to generate t…☆19Oct 4, 2023Updated 2 years ago
- Zephyr RTOS for building modular firmware☆26Dec 3, 2021Updated 4 years ago
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated last year
- with opengl☆14Jul 18, 2021Updated 5 years ago
- The Key Value Store library provides a convenient way to store information as key-value pairs in non-volatile storage.☆29Jul 17, 2026Updated 3 weeks ago
- XPde 0.5.1 source code (2004-08-21) -- From http://www.xpde.warbricktech.com/☆11Dec 27, 2019Updated 6 years ago
- Lightweight TFTP server library☆14Jan 3, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- XCB windowing library wrapper☆11Jul 25, 2025Updated last year
- This is a preview of the upcoming STM32Cube HAL2 Drivers for STM32U5 featuring several enhancements and updates and intended to enable th…☆25Jul 10, 2026Updated last month
- Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks☆180Jul 23, 2026Updated 3 weeks ago
- RISC-V fast interrupt controller☆35Aug 6, 2026Updated last week
- Header-only Linked List implementation in C☆15Dec 7, 2023Updated 2 years ago
- libNeMeSI -- the RTSP/RTP client library (restored from latest upstream git snapshot)☆13Aug 6, 2016Updated 10 years ago
- AX.25 packet radio digipeater for linux☆13Nov 10, 2023Updated 2 years ago