superhaNds

Pinned Repositories

Club
Organization and planning for the Initial Types Club
Language:Agda70 14 36
cicd-pipeline-train-schedule-git
Train Schedule sample app for Git exercises
Language:JavaScript0 1 00
cicd-pipeline-train-schedule-gradle
Train Schedule sample app for Gradle exercises
Language:JavaScript00
cwfs
Formalization of Categories with Families
Language:Agda15 3 00
function-graph
Single variable function grapher
Language:Java00
piu-cwfs
Language:Agda00
sense-snake
A snake game for the raspberry pi and sensehat
Language:JavaScript00
superhaNds.github.io
Language:SCSS00

superhaNds's Repositories

superhaNds/cwfs
Formalization of Categories with Families
Language:Agda15 3 00
superhaNds/cicd-pipeline-train-schedule-git
Train Schedule sample app for Git exercises
Language:JavaScript0 1 00
superhaNds/cicd-pipeline-train-schedule-gradle
Train Schedule sample app for Gradle exercises
Language:JavaScript00
superhaNds/function-graph
Single variable function grapher
Language:Java00
superhaNds/piu-cwfs
Language:Agda00
superhaNds/sense-snake
A snake game for the raspberry pi and sensehat
Language:JavaScript00
superhaNds/superhaNds.github.io
Language:SCSS00