Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda
Agda is a dependently typed programming language / interactive theorem prover.
FSimplex
hborum.github.io
light-riders-starterbot
MAL
MAL-docs
models-22-survey
riddles-tournament
ultimaate-tictactoe
This is my solution for theaigames.com competion.
hborum's Repositories
hborum/agda
Agda is a dependently typed programming language / interactive theorem prover.
hborum/FSimplex
hborum/hborum.github.io
hborum/light-riders-starterbot
hborum/MAL
hborum/MAL-docs
hborum/models-22-survey
hborum/riddles-tournament
hborum/ultimaate-tictactoe
This is my solution for theaigames.com competion.