A statically-typed linear functional language with graded modal types for fine-grained program reasoning

"If VA were a company, it would have a flagship mobile app."

L5 is a fun, fast, cross-platform, and lightweight implementation of the Processing API in Lua.

QuickJS, the Next Generation: a mighty JavaScript engine

Automatically scan for accessibility issues across many websites.

Fact Graph

A plain text-based spaced repetition system.

Minimal files + config for a PWA

An embedded scheme interpreter in Rust

A Remake / Celebration of the original 'Super Mario Bros.' games. Features new levels, custom modes, new characters, alongside a full level editor / custom level system!

A high-level Emacs Lisp front-end for SQLite

concatenative array language inspired by kdb/+q

APL games for using with The Computational Language cartridge

The Gren Programming Language Book

Compiler for the Gren programming language

Host These Things Please - a basic http server for hosting a folder fast and simply

A soft monospace variable font

Hurl, run and test HTTP requests with plain text.

An ever present clock for macOS

Poor man's Backend-as-a-Service (BaaS), similar to Firebase/Supabase/Pocketbase

A fast, friendly, functional language.

pprof is a tool for visualization and analysis of profiling data

magic-trace collects and displays high-resolution traces of what a process is doing

An integrated terminal for your browser

Magit for VSCode

A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix

A Game Boy emulator for Playdate, based on Peanut-GB.