# GitHub repos by idris-community

<https://repo.masters-masters.com/en/owners/idris-community>

[Home](https://repo.masters-masters.com/en) › [idris-community](https://repo.masters-masters.com/en/owners/idris-community)

The public GitHub repo by idris-community in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by idris-community

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

- [idris-community/idris2-lsp · ★ 205 · Idris · Prototype](https://repo.masters-masters.com/en/repos/idris-community/idris2-lsp)

## See idris-community on GitHub

- [https://github.com/idris-community](https://github.com/idris-community)

---
Data: GitHub