Stars
Anki plugin to expose a remote API for creating flash cards.
A sleek, customizable desktop shell 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
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!)