The user-friendly command line shell.

PKGBUILD management framework for the Arch User Repository

Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.

Korean spellchecking dictionary for Hunspell

Countdown timer and stopwatch in your terminal

Interactive lessons to learn to read Hangul

Introductory lecture notes on programmable cryptography

Chickens are scary

Catalog Of Math Problems Formalized In Lean

An OBS plugin for removing background in portrait images (video), making it easy to replace the background when recording or streaming.

An Infinitely Large Napkin

Read-only Google Calendar utility for Linux

An online math contest platform

A bot that plays on the hanab.live interface.

Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.

Export messages from Signal Desktop

An emoji guide for your commit messages. 😜

A syntax-highlighting pager for git, diff, grep, and blame output

DXPoint Notification is a simple overlay that shows notifications for Twitch channel points rewards.

🐧 Penguins in LaTeX with TikZ

Computer players for a collaborative card game

A feature-rich command-line audio/video downloader

Cocreate Shared Whiteboard/Drawing

The code coverage tool for Python

Configuration files

Extension for Python-Markdown that makes lists truly sane. Custom indents for nested lists and fix for messy linebreaks and paragraphs between lists.

The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

an UwU programming language

Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio

a GRId LOgic Puzzle Solver library