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, rotators, tuners, and amplifiers

Si5351 based WSPR beacon

Dynamic Instrumentation Tool Platform