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)