Skip to content
View superhaNds's full-sized avatar

Block or report superhaNds

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. cwfs cwfs Public

    Formalization of Categories with Families

    Agda 15

  2. function-graph function-graph Public

    Single variable function grapher

    Java

  3. superhaNds.github.io superhaNds.github.io Public

    SCSS

  4. piu-cwfs piu-cwfs Public

    Agda

  5. sense-snake sense-snake Public

    Forked from balena-io-experimental/sense-snake

    A snake game for the raspberry pi and sensehat

    JavaScript

  6. cicd-pipeline-train-schedule-git cicd-pipeline-train-schedule-git Public

    Forked from linuxacademy/cicd-pipeline-train-schedule-git

    Train Schedule sample app for Git exercises

    JavaScript