Idris

languages / Idris
1,069Developers

Top ranked

RankDeveloperReposStars
1gravatar for edwinbedwinb181,982
2gravatar for idris-langidris-lang11,832
3gravatar for idris-hackersidris-hackers121,155
4gravatar for stefan-hoeckstefan-hoeck32407
5gravatar for mmhelloworldmmhelloworld5382
6gravatar for typedefstypedefs2358
7gravatar for zimanziman11353
8gravatar for joaomilhojoaomilho2353
9gravatar for stateboxstatebox6308
10gravatar for david-christiansendavid-christiansen9290
1,867Repos

Top ranked

RankRepoStarsDeveloper
idris-lang/Idris2 on Github1Idris21,832idris-lang
edwinb/Idris2-boot on Github2Idris2-boot916edwinb
edwinb/Blodwen on Github3Blodwen546edwinb
idris-hackers/software-foundations on Github4software-foundations419idris-hackers
mmhelloworld/idris-jvm on Github5idris-jvm376mmhelloworld
typedefs/typedefs on Github6typedefs357typedefs
joaomilho/awesome-idris on Github7awesome-idris352joaomilho
ziman/lightyear on Github8lightyear234ziman
statebox/idris-ct on Github9idris-ct231statebox
puffnfresh/iridium on Github10iridium201puffnfresh
238Topics

Most popular