Formalization of Mathematical Logic

Raylib bindings for Lean4

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

FFI for Lean 4

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

A unit testing framework for Lean 4

Lean 4 programming language and theorem prover

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

A Lean 4 package for heavy numerical computations

Flashy Synthesia Like Software For Linux, Windows and MacOs

Solutions of Reinforcement Learning, An Introduction

The seL4 microkernel

RISC-V Zve32x Vector Coprocessor

Cogent Project

Python DSP module

seL4 specification and proofs

Minimalist process isolation tool implemented with Linux namespaces

Linux TUN/TAP wrapper for Python

⚡ A Fast, Extensible Progress Bar for Python and CLI

The LegacyClonk engine and the c4group command line tool.

Asynchronous HTTP client/server framework for asyncio and Python

Type hints support for the Sphinx autodoc extension

Sub-IoT: Open Source Stack for Dash7 Alliance Protocol

The Signal Metadata Format Specification

Gpredict satellite tracking application

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

Si5351 based WSPR beacon

Dynamic Instrumentation Tool Platform