- Helsinki, Finland
Lists (4)
Sort Name ascending (A-Z)
Starred repositories
jfmt is an opinionated java source code formatter for the command line
Verification infrastructure for the Isabelle/HOL interactive proof assistant
Clone of the original iOs puzzle game, Trainyard (using the Bevy game engine)
A high-legibility programming font engineered to minimize cognitive load.
A Swift library and command-line tool for creating, validating, and signing Apple Wallet passes.
A collection of hand-curated and verified GLAM (Galleries, Libraries, Archives, Museums) RSS feeds
A short course on reading and writing Sumerian cuneiform
A bootstrapping and management tool for k0s clusters.
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
Deterministic, plate-local river and continent generation for large voxel worlds.
Interactive TUI scratchpad for building shell pipelines
Haskell library for writing JVM bytecode in a high level format
A reimagining of the ideas pioneered by Haskell's servant and Rust's typeway, axum, tower, & tonic. A composable, type-safe web framework for Haskell. Your API is a type, your middleware is tracked…