idris-lang / Idris2

git clone https://github.com/idris-lang/Idris2.git

A purely functional programming language with first class types

stars, 24h · #21,721

+~12

stars, 7 days · #11,770

+~50

stars, 30 days · #13,107

3.1k

★ total · +0% this week

422

forks · 683 open issues

2026-10-20 · 3,096 ★ 2026-10-23 · 3,101 ★

LanguageIdris

License—

Created2020-05-17 (6y ago)

Last push8d ago

OwnerOrganization