Explore projects

Here I will start working on Bharat's code for my thesis.

poc for verifying irma signatures on the web

Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).