A verification toolchain for Rust programs

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Rust crate for Flattened Devicetree parsing

Code coverage support for Rust `no_std` and embedded programs

Swiss army knife container for vscode development environments

Data structure serialization library with several opposite design goals from Serde

The Babel routing daemon

Lightweight Open BMW Software Traceability Evidence Report

Next Generation Custom Firmware for the PSP and Vita's ePSP.

WFB-NG - the next generation of long-range packet radio link based on raw WiFi radio

Rust support for seL4 userspace

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Software Quality Management Tool

Verilog Ethernet components for FPGA implementation

Test harness for ui tests of compiler diagnostics

Automated property based testing for Rust (with shrinking).

Powerful RDF knowledge graph generation with RML mappings

Language Servers for Stardog Languages

Parser for online-tickets according to ETF-918.3

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

Find out what takes most of the space in your executable.

A simple program for the simulation of ADS-B input as MAVLink messages

Livecoding networked visuals in the browser