glyph-based language that transpiles to python (for now…)

Playing Sudoku in the Lean 4 proof assistant

A free, open source, and extensible speech-to-text application that works completely offline.

an infinite version of the html canvas

Tiny but reliable Markdown to HTML conversion in JavaScript

Domain Specific Language for the Abstraction and Reasoning Corpus

The comfortable Git UI for Linux

Portable Python 3.x Interpreter in Modern C for Game Scripting

Common English Lexicon (CEL), a word list with common words, for word games

A Lean companion to Analysis I

Parser and tools for Toaq Delta

Explore large language models in 512MB of RAM

A tool for creating styled YouTube subtitles

C in four functions

Shrimple: a Python dictionary you can use to run your orthospelling theory

Inspired by Lapwing numbers, but 2 numpads instead of 1

Playfair is a general purpose Open Source typeface family

A Typst package to display chessboards.

A Discord API wrapper library made in C

Tools for working with monochrome bitmap fonts

A parser generator for visibly pushdown languages.

A repository for research code, papers, interactive visualizers, etc., for spline research

Type-driven syntactic and semantic effectful parsing for NL

Extraction of an 8x16 bitmap font from a game ROM

A tiny but powerful VGA text mode font editor for DOS

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Interactive study tool for Go problems on arbitrary undirected graphs