Updated : 2019-04-20 01:04:31 UTC

Respositories

Counts
Total

/search/repositories?q=language:ATS

125
New

/search/repositories?q=language:ATS+created:2019-04-19

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:ATS+pushed:2019-04-19

0
Update Rate

( Update / Total ) * 100

0.00%
Sleeping

/search/repositories?q=language:ATS+pushed:<2018-04-19

78
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 )

718
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 )

92

Top Star Repos

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

  1. 222
    ATS2: Unleashing the Potentials of Types and Templates
  2. 151
    Tool to count lines of source code.
  3. 50
    Implementing ATS3 in ATS2
  4. 42
    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. 28
    Collection of ATS goodness
  1. 22
    Examples from Introduction to Programming in ATS
  2. 19
    Home of the fast-arithmetic library for number theory in ATS and Haskell.
  3. 16
    generate ATS interface from C code
  4. 15
    ⛓️ Blockchain + Smart contracts from scratch
  5. 9
    This repository is primarily for testing ATS2 on various platforms
  6. 8
    3D vector algebra library for ATS
  7. 8
    A parsing combinator library.
  8. 7
    Concurrency primitives for ATS
  9. 7
    For template-based library code that is, kind of, inspired by category theory.
  10. 6
    Small programs testing out features of the ATS (Postiatis) programming language.
  11. 6
    Recursion schemes in ATS
  12. 6
    Colored terminal output
  13. 6
    Levenshtein edit distance, packaged for ATS
  14. 6
    A verified memory-safe correct implementation of left-pad in ats2
  15. 6
    ATS2 proofs of concept stuff
  16. 5
    An ATS to Lua compiler
  17. 4
    Monads for viewtypes in ATS
  18. 4
    Just a Playground
  19. 3
    Pretty-printer for ATS Compiler
  20. 3
    Source code for my series of blog entires dubbed &quot;The Joy of ATS&quot;
  21. 3
    ATS bindings for libdill
  22. 3
    Experiments with the ATS programming language
  23. 3
    My own utilities for ATS

New Repos

/search/repositories?q=language:ATS+created:2019-04-19&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:ATS

16
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.81