# idris-lang/Idris2

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

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

idris-lang/Idris2 has 3,104 stars on GitHub. Its RepoMasters card: RC tier. A purely functional programming language with first class types Language: Idris.

| Field | Value |
| --- | --- |
| Owner | [idris-lang](https://repo.masters-masters.com/en/owners/idris-lang) |
| Stars | 3,104 |
| Forks | 424 |
| Language | [Idris](https://repo.masters-masters.com/en/languages/idris) |
| License | None |
| Created | 2020 |
| Topics | compiler, dependent-types, hacktoberfest |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [idris-lang/Idris2](https://github.com/idris-lang/Idris2) |

## Repository

A purely functional programming language with first class types

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by idris-lang

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

## Nearby in Idris

- [edwinb/Idris2-boot · ★ 889 · Idris · Beta](https://repo.masters-masters.com/en/repos/edwinb/Idris2-boot)
- [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/en/repos/edwinb/Blodwen)
- [mmhelloworld/idris-jvm · ★ 483 · Idris · Alpha](https://repo.masters-masters.com/en/repos/mmhelloworld/idris-jvm)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.