Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Repositories
belluzj Repositories
A webpage for testing typefaces, live at www.impallari.com/testing
Python library for piecewise linear interpolation in multiple dimensions with multiple, arbitrarily placed, masters.
Code for conrol RobAir
Monospaced typeface designed to look like the VT320 text terminal glyphs.
Advent of Code 2025 in Raku
Multi-armed bandit simulation library
Jany Belluz' blog and résumé.
Small caps extracted from Charis SIL,with text figures and Charter metrics.
Python reader and writer object for designspace files.
Astro documentation
Beautiful CSS drop caps made easy
A framework for keeping your Ember.js apps in sync.
Ember.js Persistence Foundation version of the Ember Data Example
A font family with a great monospaced variant for programmers.
Compile fonts from sources (UFO, Glyphs) to binary (OpenType, TrueType).
A library to manipulate font files from Python.
Python binding for the freetype library
A bridge from Glyphs source files (.glyphs) to UFOs