Top ATS repos
languages / ATS / global228 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | ATS-Postiats | 349 | githwxi | |
2 | polyglot | 241 | vmchale | |
3 | ATS-Xanadu | 181 | githwxi | |
4 | ATS-CodeBook | 57 | ats-lang | |
5 | ATS-Strange-Loop-Talk | 46 | deech | |
6 | magnificATS | 31 | gallettilance | |
7 | ats-acc | 29 | sparverius | |
8 | ats-examples | 26 | chrisdone | |
9 | hs-ats | 22 | vmchale | |
10 | xanadu | 21 | xanadu-lang |