Design By Contract (DBC) for embedded C and C++
☆23Jan 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☆84Apr 21, 2025Updated last year
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆145Apr 19, 2026Updated last month
- Traceable specifications based on Doxygen☆30Apr 19, 2026Updated last month
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆47Jan 15, 2024Updated 2 years ago
- Veristand C/C++ Model Code Generator☆12Apr 6, 2017Updated 9 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.
- Repo for YouTube course: Embedded CI/CD with HIL Testing using STM32CubeIDE, Git, and Jenkins☆31Apr 5, 2022Updated 4 years ago
- MiROS (Minimal Real-Time Operating System) for ARM Cortex-M☆120May 18, 2024Updated 2 years ago
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 4 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
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 2 months ago
- Very simple program to control the backlight brightness of a laptop☆14May 14, 2023Updated 3 years ago
- Demo applications and reference implementations☆17Apr 16, 2025Updated last year
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆128May 5, 2024Updated 2 years ago
- libuvx is a libuv-based network extension library focusing on usability☆10Jan 16, 2019Updated 7 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.
- 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
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- d-EVD-dual-electric-vehicle-dataset☆13Apr 24, 2026Updated last month
- A simple CANopen stack implemented using C programming language.☆11Apr 23, 2014Updated 12 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
- Programmers 'C' library of functions for: resizable strings, file and network access, string tokenization, pattern matching, terminal out…☆15May 4, 2026Updated 3 weeks ago
- Code generator for C struct serialization☆21Sep 4, 2014Updated 11 years ago
- Zephyr RTOS for building modular firmware☆25Dec 3, 2021Updated 4 years ago
- Second generation of the HolonForth concept, now applied to general software development. Featuring code structured as books with Chapter…☆12Apr 22, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Docker based development environment for coding, building and flashing embedded firmware.☆29May 3, 2026Updated 3 weeks ago
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated 11 months ago
- Event-driven, preemptive, priority-based, hardware RTOS for ARM Cortex-M.☆243Feb 15, 2025Updated last year
- Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks☆175Mar 10, 2026Updated 2 months ago
- 这是一个使用bottle，mongodb和jinja2开发的一个同学互评系统，通过它进行了对于使用bottle进行web开发的探索，包括：bottle做web开发的物理设计和bottle做web开发的高级的特性的使用☆20Aug 26, 2013Updated 12 years ago
- Lightweight TFTP server library☆14Jan 3, 2019Updated 7 years ago
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 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.
- libNeMeSI -- the RTSP/RTP client library (restored from latest upstream git snapshot)☆13Aug 6, 2016Updated 9 years ago
- Header-only Linked List implementation in C☆14Dec 7, 2023Updated 2 years ago
- A collection of shell scripts to run bhyve VMs on my FreeBSD 12.x desktop machine☆15Sep 14, 2019Updated 6 years ago
- A C++ framework for writing reactor programs☆27Jan 23, 2026Updated 4 months ago
- AX.25 packet radio digipeater for linux☆13Nov 10, 2023Updated 2 years ago
- Multi-device support module for SoapySDR☆17Oct 15, 2025Updated 7 months ago
- Source for various version of ARDOP☆13Mar 21, 2024Updated 2 years ago