GitHub repos by oseledets

2 public repos by oseledets in the catalog, most starred first.