Gruvbox by default
Warm, terminal-like and a little rough around the edges — a comfortable palette for focused writing, feedback and low-friction tool building.
~/teaching-tools
A public workbench of web apps, browser extensions, bookmarklet-style helpers, syntax tools, transcription workflows and feedback systems built from real teaching problems.
Warm, terminal-like and a little rough around the edges — a comfortable palette for focused writing, feedback and low-friction tool building.
Clean, pale and readable — the white-mode counterpart for pages and tools that need to feel calm in a browser tab.
Tools should reduce clicking, tab switching and copying, so more energy stays with feedback, language and assessment.
Markdown, HTML, SRT, JSON and plain files are easier to inspect, archive, revise and move between systems.
The best tool ideas come from repeated irritation: slow grading pages, awkward audio handling, messy transcripts and hard-to-edit feedback.
Public demos should use fictional data. Tools for internal school systems belong in private workflows, not public screenshots or logs.
Loaded from the public GitHub API. If the API is unavailable, this page falls back to a small curated list.