The seL4 microkernel

Dynamic Instrumentation Tool Platform

Dire Wolf is a software "soundcard" AX.25 packet modem/TNC and APRS encoder/decoder. It can be used stand-alone to observe APRS traffic, as a tracker, digipeater, APRStt gateway, or Internet Gatewa…

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

Gpredict satellite tracking application

Ham radio control library for rigs (radios), rotators, and amplifiers. For daily snapshots see:

Linux TUN/TAP wrapper for Python

Sub-IoT: Open Source Stack for Dash7 Alliance Protocol

Minimalist process isolation tool implemented with Linux namespaces

Si5351 based WSPR beacon

Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)