Idris

languages / Idris
1,140Developers

Top ranked

RankDeveloperReposStars
1gravatar for idris-langidris-lang12,341
2gravatar for edwinbedwinb181,992
3gravatar for idris-hackersidris-hackers121,189
4gravatar for stefan-hoeckstefan-hoeck46608
5gravatar for mmhelloworldmmhelloworld5464
6gravatar for joaomilhojoaomilho2381
7gravatar for typedefstypedefs2367
8gravatar for zimanziman11364
9gravatar for stateboxstatebox6331
10gravatar for david-christiansendavid-christiansen9295
2,054Repos

Top ranked

RankRepoStarsDeveloper
idris-lang/Idris2 on Github1Idris22,341idris-lang
edwinb/Idris2-boot on Github2Idris2-boot905edwinb
edwinb/Blodwen on Github3Blodwen542edwinb
mmhelloworld/idris-jvm on Github4idris-jvm455mmhelloworld
idris-hackers/software-foundations on Github5software-foundations446idris-hackers
joaomilho/awesome-idris on Github6awesome-idris380joaomilho
typedefs/typedefs on Github7typedefs364typedefs
statebox/idris-ct on Github8idris-ct250statebox
ziman/lightyear on Github9lightyear237ziman
puffnfresh/iridium on Github10iridium203puffnfresh
0Topics

Most popular

TopicReposStars