⚡ A Fast, Extensible Progress Bar for Python and CLI

Asynchronous HTTP client/server framework for asyncio and Python

Lean 4 programming language and theorem prover

The seL4 microkernel

Software defined radio receiver powered by GNU Radio and Qt.

Dynamic Instrumentation Tool Platform

Solutions of Reinforcement Learning, An Introduction

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…

Python DSP module

Flashy Synthesia Like Software For Linux, Windows and MacOs

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:

seL4 specification and proofs

Type hints support for the Sphinx autodoc extension

The Signal Metadata Format Specification

RISC-V Zve32x Vector Coprocessor

Formalization of Mathematical Logic

Python script to generate a high resolution heatmap from Strava GPX files

Linux TUN/TAP wrapper for Python

Cogent Project

Sub-IoT: Open Source Stack for Dash7 Alliance Protocol

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

The LegacyClonk engine and the c4group command line tool.

Raylib bindings for Lean4

Minimalist process isolation tool implemented with Linux namespaces

A Lean 4 package for heavy numerical computations

Si5351 based WSPR beacon