Updated : 2018-08-18 01:04:23 UTC

Respositories

Counts
Total

/search/repositories?q=language:ATS

111
New

/search/repositories?q=language:ATS+created:2018-08-17

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:ATS+pushed:2018-08-17

6
Update Rate

( Update / Total ) * 100

5.41%
Sleeping

/search/repositories?q=language:ATS+pushed:<2017-08-17

63
Stars
Star 1000+

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

0
Star 100+

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

1
Sum stars of Top 30 repos

sum ( repos.stars )

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

75

Top Star Repos

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

  1. 193
    ATS2: Unleashing the Potentials of Types and Templates
  2. 77
    Tool to count lines of source code.
  3. 24
    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.
  4. 21
    Examples from Introduction to Programming in ATS
  5. 20
    Collection of ATS goodness
  1. 15
    Home of the fast-arithmetic library for number theory in ATS and Haskell.
  2. 14
    ⛓️ Blockchain + Smart contracts from scratch
  3. 14
    Implementing ATS3 in ATS2
  4. 13
    generate ATS interface from C code
  5. 7
    This repository is primarily for testing ATS2 on various platforms
  6. 7
    A parsing combinator library.
  7. 6
    3D vector algebra library for ATS
  8. 6
    Levenshtein edit distance, packaged for ATS
  9. 5
    Small programs testing out features of the ATS (Postiatis) programming language.
  10. 5
    Concurrency primitives for ATS
  11. 5
    Recursion schemes in ATS
  12. 5
    A verified memory-safe correct implementation of left-pad in ats2
  13. 5
    ATS2 proofs of concept stuff
  14. 4
    Colored terminal output
  15. 3
    Source code for my series of blog entires dubbed &quot;The Joy of ATS&quot;
  16. 3
    An ATS to Lua compiler
  17. 3
    Embedded drivers for RX series. Created by ATS language.
  18. 3
    Headers to define alternative program entry points.
  19. 2
    An ATS binding for hiredis.
  20. 2
    A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
  21. 2
    For using npm to manage additional ATS-Postiats packages
  22. 2
    The code for the specific endpoints blog post
  23. 2
    Preprocessor for literate programming

New Repos

/search/repositories?q=language:ATS+created:2018-08-17&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:ATS

14
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.93