Idris

languages / Idris
1,125Developers

Top ranked

RankDeveloperReposStars
1gravatar for idris-langidris-lang12,107
2gravatar for edwinbedwinb181,988
3gravatar for idris-hackersidris-hackers121,165
4gravatar for stefan-hoeckstefan-hoeck39510
5gravatar for mmhelloworldmmhelloworld5453
6gravatar for typedefstypedefs2370
7gravatar for joaomilhojoaomilho2366
8gravatar for zimanziman11360
9gravatar for stateboxstatebox6328
10gravatar for david-christiansendavid-christiansen9292
2,008Repos

Top ranked

RankRepoStarsDeveloper
idris-lang/Idris2 on Github1Idris22,107idris-lang
edwinb/Idris2-boot on Github2Idris2-boot913edwinb
edwinb/Blodwen on Github3Blodwen543edwinb
mmhelloworld/idris-jvm on Github4idris-jvm444mmhelloworld
idris-hackers/software-foundations on Github5software-foundations430idris-hackers
typedefs/typedefs on Github6typedefs367typedefs
joaomilho/awesome-idris on Github7awesome-idris365joaomilho
statebox/idris-ct on Github8idris-ct247statebox
ziman/lightyear on Github9lightyear236ziman
puffnfresh/iridium on Github10iridium201puffnfresh
0Topics

Most popular

TopicReposStars