ATS

languages / ATS
73Developers

Top ranked

RankDeveloperReposStars
1gravatar for githwxigithwxi5549
2gravatar for vmchalevmchale23316
3gravatar for deechdeech585
4gravatar for ats-langats-lang367
5gravatar for gallettilancegallettilance248
6gravatar for sparveriussparverius1033
7gravatar for xanadu-langxanadu-lang1132
8gravatar for steinwaywhwsteinwaywhw1027
9gravatar for ashalkhakovashalkhakov1025
10gravatar for chrisdonechrisdone125
221Repos

Top ranked

RankRepoStarsDeveloper
githwxi/ATS-Postiats on Github1ATS-Postiats350githwxi
vmchale/polyglot on Github2polyglot234vmchale
githwxi/ATS-Xanadu on Github3ATS-Xanadu170githwxi
ats-lang/ATS-CodeBook on Github4ATS-CodeBook55ats-lang
deech/ATS-Strange-Loop-Talk on Github5ATS-Strange-Loop-Talk45deech
gallettilance/magnificATS on Github6magnificATS30gallettilance
sparverius/ats-acc on Github7ats-acc28sparverius
chrisdone/ats-examples on Github8ats-examples25chrisdone
vmchale/hs-ats on Github9hs-ats22vmchale
xanadu-lang/xanadu on Github10xanadu21xanadu-lang
0Topics

Most popular

TopicReposStars