Updated : 2020-07-06 01:09:11 UTC

Respositories

Counts
Total

/search/repositories?q=language:ATS

171
New

/search/repositories?q=language:ATS+created:2020-07-05

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:ATS+pushed:2020-07-05

3
Update Rate

( Update / Total ) * 100

1.75%
Sleeping

/search/repositories?q=language:ATS+pushed:<2019-07-05

104
Stars
Star 1000+

/search/repositories?q=language:ATS+stars:>=1000

0
Star 100+

/search/repositories?q=language:ATS+stars:>=100

2
Sum stars of Top 30 repos

sum ( repos.stars )

928
Forks
Fork 1000+ Repos

/search/repositories?q=language:ATS+forks:>=1000

0
Fork 100+

/search/repositories?q=language:ATS+forks:>=100

0
Sum forks of Top 30 repos

sum ( repos.forks )

114

Top Star Repos

/search/repositories?q=language:ATS&sort=stars&order=desc&per_page=30

  1. 275
    ATS2: Unleashing the Potentials of Types and Templates
  2. 190
    Tool to count lines of source code.
  3. 91
    Implementing ATS3 in ATS2
  4. 50
    This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.
  5. 29
    Collection of ATS goodness
  1. 22
    Examples from Introduction to Programming in ATS
  2. 20
    Home of the fast-arithmetic library for number theory in ATS and Haskell.
  3. 19
    Pretty-print error messages of the ATS Compiler
  4. 18
    ⛓️ Blockchain + Smart contracts from scratch
  5. 18
    For supporting template-based programming
  6. 18
    generate ATS interface from C code
  7. 9
    3D vector algebra library for ATS
  8. 9
    This repository is primarily for testing ATS2 on various platforms
  9. 9
    For template-based library code that is, kind of, inspired by category theory.
  10. 8
    Recursion schemes in ATS
  11. 8
    Levenshtein edit distance, packaged for ATS
  12. 8
    A parsing combinator library.
  13. 8
    This repository is supposed to hold a released version of Xanadu
  14. 7
    Concurrency primitives for ATS
  15. 6
    Small programs testing out features of the ATS (Postiatis) programming language.
  16. 6
    An interpreter for the Xanadu programming language
  17. 6
    An ATS to Lua compiler
  18. 6
    Colored terminal output
  19. 6
    A verified memory-safe correct implementation of left-pad in ats2
  20. 6
    Demonstration of GPU-accelerated statistical functions in ATS
  21. 6
    ATS2 proofs of concept stuff
  22. 4
    CRC32 implementation in ATS
  23. 4
    Monads for viewtypes in ATS

New Repos

/search/repositories?q=language:ATS+created:2020-07-05&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:ATS

18
Followers 100+

/search/users?q=language:ATS+followers:>=100

0
Repos per User

repos.Total / users.Total

9.50