stefanholdermans

Pinned Repositories

• agda-stdlib

  The Agda standard library

  Language:Agda589291k239

• 100-days-of-code

  This is a project with a collection of coding challenges for those who wants to commit themselves to code at least one hour a day for at least a hundred days.

  Language:C++30813167

stefanholdermans's Repositories