repositories

Some selected GitHub repos, both from research and private projects.