PhD Student in Germany
Matrix: @christofsteel:k-fortytwo.de
-
TU Dortmund
- Dortmund
- @christofsteel
- @christofsteel@ruhr.social
- https://matrix.to/#/@christofsteel:k-fortytwo.de
Highlights
- Pro
Pinned Loading
-
tudo-seal/cls-python
tudo-seal/cls-python PublicSynthesis using inhabitation in FCL with intersection types
Python 2
-
-
mtgo-vintage-cube
mtgo-vintage-cube PublicGit repository of all cards in the MTGO Vintage cube. One tag for each release.
-
latex-exsheetans
latex-exsheetans PublicA LaTeX documentclass for submissions for exercise sheets
TeX 1
-
pySpellbook
pySpellbook PublicA PDF spellbook creation utility for d20 like games in python
Python 4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.