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,207 729 Updated Dec 18, 2025

Dynamic Instrumentation Tool Platform

C 2,978 603 Updated Dec 16, 2025

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,853 325 Updated Nov 30, 2025

bladeRF USB 3.0 Superspeed Software Defined Radio Source Code

C 1,292 492 Updated Dec 1, 2025

Gpredict satellite tracking application

C 1,053 269 Updated Sep 20, 2025

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

C 746 254 Updated Dec 13, 2025

Linux TUN/TAP wrapper for Python

C 178 34 Updated Feb 28, 2025

Sub-IoT: Open Source Stack for Dash7 Alliance Protocol

C 152 90 Updated Jan 7, 2025

Minimalist process isolation tool implemented with Linux namespaces

C 20 4 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