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☆87Apr 21, 2025Updated last year
- An active object messaging framework for microcontrollers in C☆26Jun 29, 2022Updated 4 years ago
- QTools collection of host-based tools for embedded systems development with QP frameworks on Windows, Linux and macOS☆155Aug 25, 2026Updated last week
- 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
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- C project template with unit-tests, documentation, ci-testing and workflows.☆24Mar 10, 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☆17Updated this week
- 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 5 years ago
- Single header libraries☆26Jul 15, 2026Updated last month
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 6 months ago
- Very simple program to control the backlight brightness of a laptop☆14May 14, 2023Updated 3 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.
- 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
- Example of Ada code running on the PicoRV32 RISC-V CPU for FPGA☆16Sep 11, 2018Updated 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
- A single-header regex-based lexer library for c.☆12Sep 18, 2022Updated 3 years ago
- Portable MurmurHash Implementation☆12Feb 19, 2024Updated 2 years ago
- 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 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.
- 🔀 Asynchronous framework in C.☆34Nov 7, 2022Updated 3 years ago
- Generally useful macros for C/C++ programming☆15Jun 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
- with opengl☆14Jul 18, 2021Updated 5 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
- XCB windowing library wrapper☆11Jul 25, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- d-EVD-dual-electric-vehicle-dataset☆14Apr 24, 2026Updated 4 months ago
- 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☆12Nov 10, 2023Updated 2 years ago
- Replacement for GNU Bintuils, written in Rust☆12Oct 5, 2024Updated last year
- Fixed-point arithmetic in C99☆18Oct 4, 2024Updated last year