Idris

languages / Idris
1,070Developers

Top ranked

RankDeveloperReposStars
1gravatar for edwinbedwinb181,981
2gravatar for idris-hackersidris-hackers121,163
3gravatar for stefan-hoeckstefan-hoeck32461
4gravatar for mmhelloworldmmhelloworld5384
5gravatar for typedefstypedefs2363
6gravatar for joaomilhojoaomilho2359
7gravatar for zimanziman11357
8gravatar for stateboxstatebox6319
9gravatar for david-christiansendavid-christiansen9291
10gravatar for puffnfreshpuffnfresh5264
1,889Repos

Top ranked

RankRepoStarsDeveloper
edwinb/Idris2-boot on Github1Idris2-boot914edwinb
edwinb/Blodwen on Github2Blodwen544edwinb
idris-hackers/software-foundations on Github3software-foundations427idris-hackers
mmhelloworld/idris-jvm on Github4idris-jvm378mmhelloworld
typedefs/typedefs on Github5typedefs361typedefs
joaomilho/awesome-idris on Github6awesome-idris358joaomilho
statebox/idris-ct on Github7idris-ct238statebox
ziman/lightyear on Github8lightyear236ziman
puffnfresh/iridium on Github9iridium200puffnfresh
idris-hackers/idris-demos on Github10idris-demos190idris-hackers
238Topics

Most popular