close
The Wayback Machine - https://web.archive.org/web/20160323220245/https://github.com/trending/ats
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

Trending in open source

See what the GitHub community is most excited about today.

  1. githwxi / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @master-q @wdblair @zenhack

  2. githwxi / ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    ATS • Built by @githwxi @wdblair @ashalkhakov @bbarker @master-q

  3. chrisdone / ats-examples

    Examples from Introduction to Programming in ATS

    ATS • Built by @chrisdone

  4. deech / ATSPresentation

    ATS • Built by @deech @btbytes

  5. githwxi / ATS-Postiats-test

    This repository is primarily for testing ATS2 on various platforms

    ATS • Built by @githwxi @bbarker @cosmo0920

  6. wdblair / ATS-Postiats

    Another implementation of ATS

    ATS • Built by @githwxi @wdblair @bbarker @zenhack @ashalkhakov

  7. steinwaywhw / ats-parcc

    A parsing combinator library.

    ATS • Built by @steinwaywhw

  8. VictorErik / Pak128.Sweden-Ex

    Pak Sweden for Simutrans Experiemental

    ATS • Built by @VictorErik @vladki77

  9. shlevy / elvysh-main

    Headers to define alternative program entry points.

    ATS • Built by @shlevy

  10. wdblair / ats-pilot

    A controller prototype for Unmanned Aerial Vehicles (UAV) in ATS.

    ATS • Built by @wdblair

  11. jamiepg1 / freebsd-ports-1

    ATS • Built by @jamiepg1

  12. mandel59 / ATS-Postiats

    ATS2公式ドキュメント翻訳のためのリポジトリ(translate_jaブランチ)

    ATS • Built by @githwxi @master-q @bbarker @wdblair @zenhack

  13. jamiepg1 / ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    • Built by @githwxi @bbarker

  14. mrd / ATS-Postiats

    Another implementation of ATS

    ATS • Built by @githwxi @bbarker @master-q @wdblair @zenhack

  15. ashalkhakov / ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    ATS • Built by @githwxi @wdblair @ashalkhakov @bbarker @master-q

  16. bbarker / ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    ATS • Built by @githwxi @wdblair @ashalkhakov @bbarker @master-q

  17. noisesmith / learning-ats

    various experiments with a language I don't know yet

    ATS • Built by @noisesmith

  18. alex-ren / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @alex-ren @master-q @wdblair

  19. thisismiller / ats2

    playground for ats2 code

    ATS • Built by @thisismiller

  20. wdblair / ATS-Postiats-contrib

    ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

    ATS • Built by @githwxi @wdblair @bbarker @ashalkhakov @steinwaywhw

  21. bbarker / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @master-q @wdblair @zenhack

  22. jats-ug / ATS-Postiats

    ATS2公式ドキュメント翻訳リポジトリ(translate_jaブランチ)

    ATS • Built by @githwxi @master-q @bbarker @wdblair @zenhack

  23. ashalkhakov / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @master-q @ashalkhakov @wdblair

  24. DawidvC / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @master-q @wdblair @DawidvC

  25. master-q / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS • Built by @githwxi @bbarker @master-q @wdblair @zenhack

ProTip! Looking for most starred ATS repositories? Try this search
Something went wrong with that request. Please try again.