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