Software

Here is a list of some recent open-source software development I have been involved in:

Dafny projects

Scala projects