Updated : 2018-04-25 01:04:34 UTC

Respositories

Counts
Total

/search/repositories?q=language:ATS

105
New

/search/repositories?q=language:ATS+created:2018-04-24

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

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

1
Update Rate

( Update / Total ) * 100

0.95%
Sleeping

/search/repositories?q=language:ATS+pushed:<2017-04-24

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

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

65

Top Star Repos

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

  1. 184
    ATS2: Unleashing the Potentials of Types and Templates
  2. 46
    Tool to count lines of source code.
  3. 21
    Examples from Introduction to Programming in ATS
  4. 16
    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.
  1. 12
    generate ATS interface from C code
  2. 11
    Home of the fast-arithmetic library for number theory in ATS and Haskell.
  3. 11
    Collection of ATS goodness
  4. 7
    This repository is primarily for testing ATS2 on various platforms
  5. 6
    Implementing ATS3 in ATS2
  6. 6
    A parsing combinator library.
  7. 5
    3D vector algebra library for ATS
  8. 5
    A verified memory-safe correct implementation of left-pad in ats2
  9. 5
    ATS2 proofs of concept stuff
  10. 4
    Concurrency primitives for ATS
  11. 4
    Colored terminal output
  12. 3
    Small programs testing out features of the ATS (Postiatis) programming language.
  13. 3
    An ATS to Lua compiler
  14. 3
    Headers to define alternative program entry points.
  15. 2
    A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
  16. 2
    For using npm to manage additional ATS-Postiats packages
  17. 2
    The code for the specific endpoints blog post
  18. 2
    port of https://github.com/rigtorp/nanomq to ats
  19. 2
    Demo programs for NEPLS 15
  20. 2
    Port of Data.Either for ATS
  21. 2
    My own utilities for ATS
  22. 2
    Embedded drivers for RX series. Created by ATS language.
  23. 2
    Just a Playground
  24. 1
    Documentation of ATS related topics.

New Repos

/search/repositories?q=language:ATS+created:2018-04-24&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.50