Anki plugin to expose a remote API for creating flash cards.

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

Multi-service, multi-platform optical character recognition

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.

Anki is a smart spaced repetition flashcard program

Chrome+Firefox extension for studying foreign languages using Netflix subtitles

n2 ("into"), a ninja compatible build system

One script which generates live Linux ISO image with minimal effort. Based on the first published version of Minimal Linux Live: http://github.com/ivandavidov/minimal

Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core envi…

A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries

A collection of resources for learning type theory and type theory adjacent fields.

Chrome's t-rex based bootsector game (512 bytes) written in 16-bit x86 assembly (now with 8086 support!)