Adowrath's repositories
4-questions-minigame
A small minigame done as part of my studies at BBBaden
ado-reviews
Some random small reviews for PS Vita Games
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
Language:Haskell000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
Language:IdrisBSD-2-Clause000
idris2-lsp
Language Server for Idris2
Language:IdrisBSD-3-Clause000
minescraper
Scraper for Minecraft.de. RIP Minecraft.de.
Wirtschaftsquiz
Wirtschaftsquiz der Klasse I3a der IMS Baden (Gruppe Brunner, Eapen, Meyer)
BSD-2-Clause000
sdent-combat-systems
RevealJS Presentation for combat systems in games
Language:JavaScriptMIT000
solid-kata
Kata for practicing SOLID principles
Language:Java000
tachiyomi
Free and open source manga reader for Android.
Language:KotlinApache-2.0000