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 📦

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

Operational Domain Modelling Environment

a small self-contained source filtering lib

Source code of Ferrocene, safety-critical Rust toolchain

Ferrocene Language Specification

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok

Manage a user environment using Nix [maintainer=@rycee]

A Rust language and style specification for the LaTeX-package listings

Small footprint and configurable Ethernet core

Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.

Intuitive concurrent programming in any language

Low earth orbit (LEO) satellite network simulation framework.

Low level access to Cortex-M processors

ARMv7-M ITM packet protocol decoder library crate and CLI tool.

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime]

A collection of Master XDC files for Digilent FPGA and Zynq boards.