Skip to content
View alexf91's full-sized avatar

Block or report alexf91

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
11 stars written in C
Clear filter

The seL4 microkernel

C 5,400 756 Updated Apr 2, 2026

Dynamic Instrumentation Tool Platform

C 3,046 606 Updated Apr 4, 2026

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…

C 1,938 330 Updated Mar 18, 2026

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

C 1,329 498 Updated Feb 11, 2026

Gpredict satellite tracking application

C 1,102 285 Updated Mar 28, 2026

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

C 787 266 Updated Apr 3, 2026

Linux TUN/TAP wrapper for Python

C 178 34 Updated Dec 30, 2025

Sub-IoT: Open Source Stack for Dash7 Alliance Protocol

C 154 91 Updated Jan 7, 2025

Minimalist process isolation tool implemented with Linux namespaces

C 20 3 Updated Sep 14, 2016

Si5351 based WSPR beacon

C 15 2 Updated May 26, 2020

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

C 6 Updated Apr 27, 2025