GitHub repos by idris-lang

2 public repos by idris-lang in the catalog, most starred first.