Other Projects
In addition to my research, I like to just put my hand in the mud (in the cambouie as we would say in French).
I have a GitHub account you can check, although projects come and go…
Current projects:
rodin-hs
: a complete Haskell API for handling Rodin files (details here)substitution
: a simple Haskell framework for performing substitutions
Past projects:
- (nothing yet)