Wouter Swierstra

icon indicating a website link http://staff.science.uu.nl/~swier004

icon company Universiteit Utrecht icon location Utrecht, the Netherlands

Results 2 repositories owned by Wouter Swierstra

Brainfuck

43
Stars
3
Forks
Watchers

A Brainfuck interpreter written in Agda

verified publisher icon wouter-swierstra

xmonad

44
Stars
8
Forks
Watchers

xmonad in Coq

verified publisher icon wouter-swierstra