GitHub projects

Details

I now added a new page and menu item with details on a few of my public GitHub projects, namely projects related to my research work.