immi-h

Pinned Repositories

hhu-adam.github.io
Language:CSS0 3 01
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 🇩🇪
Language:Lean16 6 4610
hhu-adam.github.io
Language:CSS00
residualvm
ResidualVM main repository
Language:C++00
website
this is the code for the sagemath.org website
Language:HTML00
xournal
Mirror of the official xournal repository
Language:C00
website
Source for https://www.sagemath.org/; submit Issues/PRs here to update the website
Language:HTML40 12 113180

immi-h's Repositories

immi-h/hhu-adam.github.io
Language:CSS00
immi-h/residualvm
ResidualVM main repository
Language:C++00
immi-h/website
this is the code for the sagemath.org website
Language:HTML00
immi-h/xournal
Mirror of the official xournal repository
Language:C00