idris-lang/Idris2

GitHub

A purely functional programming language with first class types

Idris3,107 stars425 forks

compiler dependent-types hacktoberfest

Momentum

idris-lang/Idris2 has 3,107 GitHub stars.

It currently ranks #21183 daily, #4390 weekly, #5297 monthly by momentum on Trending Repos; its best-ever rank is #3719.

Trending Repos first recorded it on Jun 20, 2026.

Rankings

PeriodRankScore

Daily

#211830.0

Weekly

#43900.6

Monthly

#52970.6

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #3719

Format

Markdown

[![idris-lang/Idris2 badge](https://trending-repos.com/badge/idris-lang/Idris2.svg?v=3)](https://trending-repos.com/repositories/idris-lang/Idris2?utm_source=github&utm_medium=badge)

idris-lang/Idris2

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

idris-lang/Idris2

Momentum

Rankings

Engagement

Similar trending repositories

Embeds