- Bordeaux, France
- Joined on
- reflection-proofs 18 Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.
- dotfs 5 DotFS allows per-host configuration by providing dotfiles on a virtual FS.
- agda-gp 3
- apa-proj2 3
- ios-buildtools 3 Useful utilities for building iOS projects, etcetera.
Contributions in the last year 159 total Feb 5, 2015 – Feb 5, 2016
Longest streak 9 days March 2 – March 10
Current streak 0 days Last contributed