Timo Büser's repositories
gitalias
Git alias commands for faster easier version control
000
yt-dlp
A youtube-dl fork with additional features and fixes
Unlicense000
Language:C#000
obsidian-tasks
Task management for the Obsidian knowledge base.
MIT000
Interactive-Typechecker
An interactive web application for learning the fundamental concepts of type inference.