Robbert Krebbers

icon indicating a website link robbertkrebbers.nl

icon company Radboud University Nijmegen icon location Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

Results 2 repositories owned by Robbert Krebbers

ch2o

83
Stars
11
Forks
Watchers

verified publisher icon robbertkrebbers

compcert

20
Stars
3
Forks
Watchers

Fork of http://compcert.inria.fr/

verified publisher icon robbertkrebbers