Pinned Repositories
2048-strategies
simple 2048 game in haskell, inteded for experimenting with strategies
4d-labyrinth
4d-solids-brutal
depletion-force
FractalsWebGL
grahams-number-in-proof-assistants
mines
"Minesweeper" in haskell, with automated easy moves
seekers
some-real-analysis-in-agda
Tetris3D
MatthiasHu's Repositories
MatthiasHu/grahams-number-in-proof-assistants
MatthiasHu/seekers
MatthiasHu/4d-labyrinth
MatthiasHu/some-real-analysis-in-agda
MatthiasHu/grahams-number-agda
moved here: https://github.com/MatthiasHu/grahams-number-in-proof-assistants
MatthiasHu/MarchingTetrahedra
MatthiasHu/number-theory-shooter
MatthiasHu/PC23-SAG-course
MatthiasHu/stupid-tabletop
MatthiasHu/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
MatthiasHu/agda
Agda is a dependently typed programming language / interactive theorem prover.
MatthiasHu/agda-unimath
Univalent mathematics in Agda
MatthiasHu/boardgame-io-test
MatthiasHu/cheap-objectivett-in-agda
MatthiasHu/CL-PC22
Coherent Logic at Proof and Computation, 2022
MatthiasHu/co-op-alien-shooter
MatthiasHu/cubical
An experimental library for Cubical Agda
MatthiasHu/escher-droste-torus-twist
MatthiasHu/FreeBoardGames.org
FOSS platform for publishing boardgame.io games
MatthiasHu/hard-puzzle-helper
MatthiasHu/natural_number_game
Building the natural numbers in Lean.
MatthiasHu/pedestrians
MatthiasHu/pitch-spiral
visualize notes in a spiral
MatthiasHu/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
MatthiasHu/stupid-sync
MatthiasHu/test-mama-website
MatthiasHu/theHoTTGameGuide
MatthiasHu/thread-painting
MatthiasHu/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
MatthiasHu/working-hours