GitHub repos by dedis

3 public repos by dedis in the catalog, most starred first.