Skip to content

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.