Updated : 2018-02-23 01:04:32 UTC

Respositories

Counts
Total

/search/repositories?q=language:ATS

96
New

/search/repositories?q=language:ATS+created:2018-02-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:ATS+pushed:2018-02-22

1
Update Rate

( Update / Total ) * 100

1.04%
Sleeping

/search/repositories?q=language:ATS+pushed:<2017-02-22

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

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

55

Top Star Repos

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

  1. 177
    ATS2: Unleashing the Potentials of Types and Templates
  2. 39
    Tool to count lines of source code.
  3. 26
    A faster version of cat written in ATS
  4. 21
    Examples from Introduction to Programming in ATS
  1. 13
    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.
  2. 12
    generate ATS interface from C code
  3. 9
    Basic library for number theory in ATS, with Haskell bindings.
  4. 6
    A parsing combinator library.
  5. 5
    This repository is primarily for testing ATS2 on various platforms
  6. 5
    ATS2 proofs of concept stuff
  7. 3
    Small programs testing out features of the ATS (Postiatis) programming language.
  8. 3
    3D vector algebra library for ATS
  9. 3
    Headers to define alternative program entry points.
  10. 2
    A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.
  11. 2
    For using npm to manage additional ATS-Postiats packages
  12. 2
    Concurrency primitives for ATS
  13. 2
    The code for the specific endpoints blog post
  14. 2
    My own utilities for ATS
  15. 2
    Embedded drivers for RX series. Created by ATS language.
  16. 2
    A verified memory-safe correct implementation of left-pad in ats2
  17. 1
    Documentation of ATS related topics.
  18. 1
    Automate ATS projects like never before!
  19. 1
    Source code for my series of blog entires dubbed &quot;The Joy of ATS&quot;
  20. 1
    ATS bindings for libdill
  21. 1
    An ATS to Lua compiler
  22. 1
    Design files for Goliath: A Tiny Drone Powered by the Intel Edison
  23. 1
    A simple window manager written in ATS2
  24. 1
    Demo programs for NEPLS 15

New Repos

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

Users

Total

/search/users?q=language:ATS

13
Followers 100+

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

0
Repos per User

repos.Total / users.Total

7.38