idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Stars Over Time

3,478 stars by

FPd

HaskellOther

Growth

FROZEN

Last 30 days+0 stars

Compare with similar tools

Owner

I

idris-lang

github.com/idris-lang

Notable Stargazers

In These Collections

Top Programming Languages in 2026

Building idris-lang/Idris-dev?

We track who's paying attention — companies, roles, and the developers most likely to contribute or adopt.