GitHub repos by idris-community

1 public repo by idris-community in the catalog, most starred first.