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
- An active object messaging framework for microcontrollers in C☆27Jun 29, 2022Updated 4 years ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆154Aug 25, 2026Updated 3 weeks ago
- Traceable specifications based on Doxygen☆41Aug 25, 2026Updated 3 weeks ago
- A Minimalist Asynchronous Toolkit (AMAST) is a small and efficient C99 library that helps manage complex, event-driven programs. It combi…☆32Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 我的V3S开发包☆18May 15, 2026Updated 4 months ago
- SecureSMX RTOS☆24Aug 12, 2026Updated last month
- 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 8 months ago
- C project template with unit-tests, documentation, ci-testing and workflows.☆24Mar 10, 2024Updated 2 years ago
- Micro version of sprintf/printf and sscanf/scanf for embedded systems.☆14Jun 22, 2025Updated last year
- MiROS (Minimal Real-Time Operating System) for ARM Cortex-M☆126May 18, 2024Updated 2 years ago
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 5 years ago
- Scanner utility for extended Wiren Board Modbus protocol☆18Aug 28, 2026Updated 3 weeks ago
- a standalone sscanf implementation with bounds checking☆23Oct 24, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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)☆28Updated this week
- Single header libraries☆26Jul 15, 2026Updated 2 months ago
- Very simple program to control the backlight brightness of a laptop☆14May 14, 2023Updated 3 years ago
- 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
- 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
- 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.
- A simple CANopen stack implemented using C programming language.☆12Apr 23, 2014Updated 12 years ago
- Programmers 'C' library of functions for: resizable strings, file and network access, string tokenization, pattern matching, terminal out…☆14Aug 27, 2026Updated 3 weeks ago
- 🔀 Asynchronous framework in C.☆34Nov 7, 2022Updated 3 years ago
- Code generator for C struct serialization☆21Sep 4, 2014Updated 12 years ago
- A simple example of a bare metal blinky program for an STM32F750N8 MCU using Zig.☆20May 9, 2026Updated 4 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 2 years ago
- 6th version of Niklaus Wirth's original Pascal language compiler system☆46Jul 26, 2026Updated last month
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 3 years 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
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 3 years ago
- Examples, slides and code from Ian Barker's Fluent UI webinars☆14Feb 8, 2021Updated 5 years ago
- Event-driven, preemptive, priority-based, hardware RTOS for ARM Cortex-M.☆253Sep 4, 2026Updated 2 weeks ago
- Header-only Linked List implementation in C☆15Dec 7, 2023Updated 2 years ago