Pinned Repositories
hhu-adam.github.io
Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
hhu-adam.github.io
residualvm
ResidualVM main repository
website
this is the code for the sagemath.org website
xournal
Mirror of the official xournal repository
website
Source for https://www.sagemath.org/; submit Issues/PRs here to update the website
immi-h's Repositories
immi-h/hhu-adam.github.io
immi-h/residualvm
ResidualVM main repository
immi-h/website
this is the code for the sagemath.org website
immi-h/xournal
Mirror of the official xournal repository