Mathematical Engineering/ AI/ Programming Languages/ Theorem Proving/ Software Engineering
Pinned Loading
-
vscode-reactive-jupyter
vscode-reactive-jupyter PublicA simple Reactive Python Extension for Visual Studio Code
-
OpenTrainyard
OpenTrainyard PublicClone of the original iOs puzzle game, Trainyard (using the Bevy game engine)
-
gh-contributions-visualizer
gh-contributions-visualizer PublicHacking GitHub contributions map thingie to display a message over the course of a year.
Python 1
-
ket-visualizer
ket-visualizer PublicSingle page app to play Ket, that can be installed as a SPA on your IPhone
HTML 1
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.
