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:
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆153Jun 14, 2026Updated 2 weeks ago
- Traceable specifications based on Doxygen☆30Apr 19, 2026Updated 2 months ago
- 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
- Veristand C/C++ Model Code Generator☆12Apr 6, 2017Updated 9 years ago
- Repo for YouTube course: Embedded CI/CD with HIL Testing using STM32CubeIDE, Git, and Jenkins☆31Apr 5, 2022Updated 4 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.
- zig bare-metal vector table stack☆14Mar 15, 2025Updated last year
- A small stack-based audio language.☆24Sep 10, 2024Updated last year
- MiROS (Minimal Real-Time Operating System) for ARM Cortex-M☆121May 18, 2024Updated 2 years ago
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 5 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
- Soc Estimation Based on Unscented Kalman Filter☆24Jul 25, 2021Updated 4 years ago
- Single header libraries☆26Jun 2, 2026Updated last month
- 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
- 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.
- FreeACT is a minimal Active Object (Actor) framework for FreeRTOS☆129May 5, 2024Updated 2 years ago
- 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
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated 2 years ago
- Portable MurmurHash Implementation☆12Feb 19, 2024Updated 2 years ago
- Very simple web based RSS/Atom feed reader. Written in python with bottle.☆33Jun 15, 2018Updated 8 years ago
- Code generator for C struct serialization☆21Sep 4, 2014Updated 11 years ago
- Osmocom DSP utility function library; mirrored from https://gitea.osmocom.org/sdr/libosmo-dsp☆14Jun 24, 2025Updated last year
- Event-driven, preemptive, priority-based, hardware RTOS for ARM Cortex-M.☆244Feb 15, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks☆176Mar 10, 2026Updated 3 months 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
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 3 years ago
- AX.25 packet radio digipeater for linux☆13Nov 10, 2023Updated 2 years ago
- A C++ framework for writing reactor programs☆27Jan 23, 2026Updated 5 months ago
- Multi-device support module for SoapySDR☆17Oct 15, 2025Updated 8 months ago
- Source for various version of ARDOP☆13Mar 21, 2024Updated 2 years ago
- serial com api☆38Dec 17, 2020Updated 5 years ago
- Real-time Transport Protocol☆11Mar 28, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 4 years ago
- Fixed-point arithmetic in C99☆18Oct 4, 2024Updated last year
- Standard functions for PLC as described by IEC61131☆14Apr 17, 2023Updated 3 years ago
- Standalone XQuery and SQL Implementation in .NET☆12Apr 27, 2023Updated 3 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆15May 30, 2025Updated last year
- ccpp, a general purpose single-header preprocessor library.☆53Aug 31, 2021Updated 4 years ago