Stars
Language
Sort by: Recently starred
A collection of challenge based hack-a-thons including student guide, coach guide, lecture presentations, sample/instructional code and templates. Please visit the What The Hack website at: https:/…
Gamified tutorial for the QISKit quantum SDK
Agda is a dependently typed programming language / interactive theorem prover.
Hunt is a virtual scavenger hunt app where players can join a game, select a team and solve hints to acquire treasure. The team with the most points wins.