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
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆154Updated this week
- Traceable specifications based on Doxygen☆41Oct 4, 2026Updated last week
- A Minimalist Asynchronous Toolkit (AMAST) is a small and efficient C99 library that helps manage complex, event-driven programs. It combi…☆32Oct 2, 2026Updated last week
- 我的V3S开发包☆18May 15, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SecureSMX RTOS☆24Aug 12, 2026Updated 2 months ago
- Veristand C/C++ Model Code Generator☆12Apr 6, 2017Updated 9 years ago
- Micro version of sprintf/printf and sscanf/scanf for embedded systems.☆14Jun 22, 2025Updated last year
- 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
- MiROS (Minimal Real-Time Operating System) for ARM Cortex-M☆125May 18, 2024Updated 2 years ago
- a standalone sscanf implementation with bounds checking☆23Oct 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
- Examples for the QP/C Real-Time Event Framework (see qpc repository)☆28Oct 2, 2026Updated last week
- Single header libraries☆26Oct 5, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago
- ☆10Dec 24, 2020Updated 5 years ago
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆130May 5, 2024Updated 2 years ago
- AGX Dynamics for Unreal plugin.☆13Updated this week
- Free ladder & sequential (grafcet) languages as used on many PLC for programming automation process.☆10Apr 3, 2023Updated 3 years ago
- A single-header regex-based lexer library for c.☆12Sep 18, 2022Updated 4 years ago
- Portable MurmurHash Implementation☆12Feb 19, 2024Updated 2 years ago
- Programmers 'C' library of functions for: resizable strings, file and network access, string tokenization, pattern matching, terminal out…☆14Aug 27, 2026Updated last month
- 🔀 Asynchronous framework in C.☆34Nov 7, 2022Updated 3 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.
- A simple example of a bare metal blinky program for an STM32F750N8 MCU using Zig.☆20May 9, 2026Updated 5 months ago
- Generally useful macros for C/C++ programming☆16Jun 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 3 years ago
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated last year
- A collection of shell scripts to run bhyve VMs on my FreeBSD 12.x desktop machine☆15Sep 14, 2019Updated 7 years ago
- 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…☆24Jul 10, 2026Updated 3 months ago
- Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks☆180Updated this week
- libNeMeSI -- the RTSP/RTP client library (restored from latest upstream git snapshot)☆13Aug 6, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- AX.25 packet radio digipeater for linux☆12Nov 10, 2023Updated 2 years ago
- Multi-device support module for SoapySDR☆17Oct 5, 2026Updated last week
- Fixed-point arithmetic in C99☆19Oct 4, 2024Updated 2 years ago
- Source for various version of ARDOP☆13Mar 21, 2024Updated 2 years ago
- This repository contains a minimalistic Pascal compiler implemented in C, covering lexical and syntax analysis. It serves as a learning r…☆10Dec 7, 2023Updated 2 years ago
- RAIL wireless applications. Go to https://github.com/SiliconLabs/application_examples☆13Jul 24, 2026Updated 2 months ago
- Real-time Transport Protocol☆11Mar 28, 2023Updated 3 years ago