A command-line app for downloading Apple Music songs, music videos and post videos.

Technically infinite USB drive

CI and hosting for nix-based, flakified github repos

Metaprogramming with algebraic data types in typst

A test runner for typst projects.

The first anti-AI tarpit. Rewritten in Python. Traps LLM crawlers in an infinite maze of fake pages and Markov babble.

On a hunt for the Jewels of the Queen of Mathematics... in LLVM IR

Refinement Types for Rust

Apple corecrypto

Parser for a mini ML-like language (re2ocaml + Menhir)

Library for reducing tail latency in RAM reads

I played around with std::simd

🏴‍☠️ The Open Source Resistance Manifesto

Pangea Software’s Otto Matic 🤖

A GPU-rendered terminal emulator with inline 3D graphics 🐀🧀

A phonetically-aware Python library for parsing IPA transcriptions.

Python library for manipulating pronunciations using the International Phonetic Alphabet (IPA)

Command line csv viewer

Write HTML compliant email with peace of mind like Lustre 😌

Subtyping calculus of inductive constructions

A file-sharing web app that doesn't suck.

Fast, friendly GHCi

Monorepo for 7TV

A newsletter all about Python core development

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

A debugger for Linux

Raspberry Pi old-school dial-up ISP for retro computing.