Native space switching on macOS with no animation

silky smooth JPEG decoding

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

Open Source Spotify client library

AeroSpace is an i3-like tiling window manager for macOS

Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]

GLSL music live coding environment

A reasonable theorem prover for your reasoning tasks!

A post-modern modal text editor.

Virtual modular synthesizer plugin

Frequency modulation synthesizer plugin (VST2, CLAP). Runs on macOS, Windows and Linux.

blazing fast implicit surface evaluation

Ferris-on-Air: An experimental IEEE 802.11 (WLAN) stack for rust on the ESP32.

An attempt at safe imperative GPU programming.

Java library for fetching and parsing rekordbox exports and track analysis files.

Library for parsing Pioneer Rekordbox device exports

Anki-Deck Französisch 5000

New version of CDP software

CUDA on non-NVIDIA GPUs

Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.

Retrieval-Augmented Theorem Provers for Lean

Tool for data extraction and interacting with Lean programmatically.

Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).

A book about category theory

10 papers that all PhD students in programming languages ought to know, for some value of 10

A collaborative bibliography of work related to the theory and practice of computational effects

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

Logic programming in Rust