Jannik Kühnemundt's repositories
audiobookshelf
Self-hosted audiobook and podcast server
eclipse-dafny
Dafny Plugin for Eclipse
jkuehnemundt
Config files for my GitHub profile.
Self-hosted audiobook and podcast server
Dafny Plugin for Eclipse
Config files for my GitHub profile.