Trending

See what the CodeGayHub community is most excited about today.

  1. ATS2: Unleashing the Potentials of Types and Templates

    ATS 176 39 Built by @githwxi @bbarker @master-q @wdblair @zenhack
  2. Tool to count lines of source code.

    ATS 27 Built by @vmchale
  3. A faster version of cat written in ATS

    ATS 26 1 Built by @vmchale
  4. ATS 23 Built by @deech
  5. Examples from Introduction to Programming in ATS

    ATS 21 Built by @chrisdone
  6. ATS 14 2 Built by @deech @btbytes
  7. generate ATS interface from C code

    ATS 12 Built by @master-q
  8. 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.

    ATS 9 Built by @githwxi
  9. Basic library for number theory in ATS, with Haskell bindings.

    ATS 9 Built by @vmchale
  10. ATS2: Unleashing the Potentials of Types and Templates

    ATS 6 39 Built by @githwxi @bbarker @master-q @steinwaywhw @wdblair
  11. A parsing combinator library.

    ATS 6 Built by @steinwaywhw
  12. This repository is primarily for testing ATS2 on various platforms

    ATS 5 4 Built by @githwxi @bbarker @cosmo0920
  13. ATS2 proofs of concept stuff

    ATS 4 Built by @ashalkhakov
  14. 3D vector algebra library for ATS

    ATS 3 Built by @ashalkhakov
  15. Another implementation of ATS

    ATS 3 39 Built by @githwxi @wdblair @bbarker @zenhack @ashalkhakov
  16. Headers to define alternative program entry points.

    ATS 3 Built by @shlevy
  17. Small programs testing out features of the ATS (Postiatis) programming language.

    ATS 3 Built by @August-Alm
  18. A verified memory-safe correct implementation of left-pad in ats2

    ATS 2 2 Built by @shlevy
  19. Concurrency primitives for ATS

    ATS 2 Built by @vmchale
  20. Embedded drivers for RX series. Created by ATS language.

    ATS 2 Built by @fujiik102
  21. The code for the specific endpoints blog post

    ATS 2 1 Built by @sestrella
  22. For using npm to manage additional ATS-Postiats packages

    ATS 2 Built by @githwxi
  23. A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.

    ATS 2 1 Built by @wdblair
  24. My own utilities for ATS

    ATS 2 Built by @steinwaywhw
  25. Some simple examples for learning ATS.

    ATS 1 1 Built by @bbarker
Other Languages
ProTip! Looking for most starred ATS repositories? Try this search