Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

“Zero setup” cross compilation and “cross testing” of Rust crates

P1 Interface Bridge

Rust support for the Teensy 4

A static verifier for Rust, based on the Viper verification infrastructure.

Creusot helps you prove your Rust code is correct.

The missing CMake project initializer

Reverse engineered TETRA cryptographic primitives

GitHub action performs static analysis on C++/Python code, flags issues, and posts comments directly on PRs.

Command-line tools for working with Architecture Decision Records

Customizable automatic UML diagram generator for C++ based on Clang.

Lightweight C++20 testing framework.

Virtual machines for iOS and macOS

Solving i18n for client-side and resource-constrained environments.

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

An asynchronous FastCGI web microframework for C++

CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

C++ library for composing modular firmware at compile-time.

Seer - a gui frontend to gdb

Eclipse iceoryx™ - true zero-copy inter-process-communication

The most over-engineered C++ assertion library

C++ Faking library, which allows faking/mocking regular functions, static member functions and non-virtual member functions for testing purposes.

Embedded Template Library

Convenient, high-performance RGB color and position control for console output

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Format Rust code

Hypothesis-like property testing for Rust