ATS
languages / ATS80Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | githwxi | 5 | 562 | |
2 | vmchale | 23 | 324 | |
3 | deech | 5 | 86 | |
4 | ats-lang | 3 | 71 | |
5 | gallettilance | 2 | 49 | |
6 | sparverius | 10 | 35 | |
7 | xanadu-lang | 11 | 32 | |
8 | steinwaywhw | 10 | 27 | |
9 | chrisdone | 1 | 26 | |
10 | ashalkhakov | 10 | 25 |
228Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | ATS-Postiats | 349 | githwxi | |
2 | polyglot | 241 | vmchale | |
3 | ATS-Xanadu | 184 | githwxi | |
4 | ATS-CodeBook | 57 | ats-lang | |
5 | ATS-Strange-Loop-Talk | 46 | deech | |
6 | magnificATS | 31 | gallettilance | |
7 | ats-acc | 30 | sparverius | |
8 | ats-examples | 26 | chrisdone | |
9 | hs-ats | 22 | vmchale | |
10 | xanadu | 21 | xanadu-lang |