An extremely fast Python type checker and language server, written in Rust.

Rust implementation of RaptorQ (RFC6330)

An extremely fast Python package and project manager, written in Rust.

Unified framework for building enterprise RAG pipelines with small, specialized models

PyO3-based Rust bindings of the NumPy C-API

A pre-commit hook for Ruff.

An extremely fast Python linter and code formatter, written in Rust.

A compilation of my personal notes and attempts at problem sets taken from Steven Kay's book "Intuitive Probability and Random Processes using MATLAB".

matplotlib: plotting with Python

SciPy library main repository

A Python package for software-defined radio

The Modular Platform (includes MAX & Mojo)

Main repository of SageMath

Mavericks R/C Flying Club Website

⌚ Get the "last updated" time for each Sphinx page from Git

the blessed package to manage your versions by scm tags

Official project repository for the Setuptools build system

The Sphinx documentation generator

Multichannel SDR based on fast convolution and IP multicasting

Adaptation of the popular mkdocs-material material design theme to the sphinx documentation system

Run-time type checker for Python

Automatically detects and lists episodes of The Joe Rogan Experience podcast that are currently not available on the Spotify platform. Also detects if episodes have been shortened in duration.

Little Navmap is a free flight planner, navigation tool, moving map, airport search and airport information system for Flight Simulator X, Microsoft Flight Simulator 2020, Prepar3D and X-Plane.

Replace MSFS2020's bing map to google map

Qt-based digital signal analyzer, using Suscan core and Sigutils DSP library

A material-based, responsive theme inspired by mkdocs-material

Library for reading and writing large multi-dimensional arrays.

Lean 3's obsolete mathematical components library: please use mathlib4