Stars
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.
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.
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...