Wouter Swierstra (@wouter-swierstra)
github

wouter-swierstra

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    130
  • Global Rank 171,488 (Top 6 %)
  • Followers 132
  • Following 3
  • Registered over 12 years ago
  • Most used languages
    Haskell
         36.4 %
    TeX
         27.3 %
    Coq     18.2 %
    Agda     18.2 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 2,990
  • Country Ranking
    Agda     1
    Coq     1
    Haskell
         63
    TeX
         159

Top repositories

1

Brainfuck

A Brainfuck interpreter written in Agda
Agda
50
star
2

xmonad

xmonad in Coq
Coq
43
star
3

predicate-transformers

Agda
8
star
4

hbral

Hetergeneous binary random-access lists
Haskell
8
star
5

Bird

Formalization of Richard Bird's Pearls of Functional Algorithm Design
Coq
6
star
6

Data.Stream

Coprogramming with infinite lists
Haskell
4
star
7

logic-notes

Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
TeX
3
star
8

agda2hs-cabal

Example project showing how to integrate agda2hs as preprocessor using Cabal
Haskell
3
star
9

ants

AFP 2017 Ants exercise
Haskell
2
star
10

concepts-slide-template

TeX
1
star
11

formal-methods-nl

A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting
TeX
1
star
12

fp-dag

1
star