Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Exercises for SAD1 course.
Our project for the MDD course.
Dependently Typed Idris Programming language
Experimenting with different work stealing queues
Yet Another Space Game
3,959 contributions in the last year
in private repositories
Nov 1 – Nov 16
Press h to open a hovercard with more details.