# GitHub repos by idris-lang

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

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

All 2 public GitHub repos by idris-lang in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by idris-lang

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

- [idris-lang/Idris-dev · ★ 3,478 · Haskell · RC](https://repo.masters-masters.com/en/repos/idris-lang/Idris-dev)
- [idris-lang/Idris2 · ★ 3,104 · Idris · RC](https://repo.masters-masters.com/en/repos/idris-lang/Idris2)

## See idris-lang on GitHub

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

---
Data: GitHub