Animation engine for explanatory math videos

You like pytorch? You like micrograd? You love tinygrad! ❤️

A computer algebra system written in pure Python

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Reverse engineering SARS-CoV-2

Geometric Algebra for Python

Official Zulip terminal client.

A SymPy version of WolframAlpha.

State-of-the-art bilingual open-sourced Math reasoning LLMs.

TruFont is a font editor that uses the UFO font format and offers Python scripting.

Interactive Coq Proofs in Vim

plasTeX plugin to build formalization blueprints.

A tool for blocking mechanical keyboard chattering on Linux

An OTF math font matching the EB Garamond.

Custom Iosevka build somewhat mimicking PragmataPro

A template for blueprint-driven formalization projects in Lean.

A FontForge plug-in to harmonize or tunnify or add inflection points to the selected parts. This is the successor to the depreciated harmonize-tunnify-inflection.

Extension of mesa for performance and scalability

Get airport arrivals, departures, details and METAR weather info from CLI

You sometimes need to convince a video game that you own a gamepad...

Bitmap Filter Implementation