Skip to content

Explore GitHub

Trending in open source

See what the GitHub community is most excited about today.

  1. Star

    githwxi / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

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

  2. Star

    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. Star

    chrisdone / ats-examples

    Examples from Introduction to Programming in ATS

    ATS • Built by @chrisdone

  4. Star

    deech / ATSPresentation

    ATS • Built by @deech @btbytes

  5. Star

    githwxi / ATS-Postiats-test

    This repository is primarily for testing ATS2 on various platforms

    ATS • Built by @githwxi @bbarker @cosmo0920

  6. Star

    wdblair / ATS-Postiats

    Another implementation of ATS

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

  7. Star

    steinwaywhw / ats-parcc

    A parsing combinator library.

    ATS • Built by @steinwaywhw

  8. Star

    VictorErik / Pak128.Sweden-Ex

    Pak Sweden for Simutrans Experiemental

    ATS • Built by @VictorErik @vladki77

  9. Star

    shlevy / elvysh-main

    Headers to define alternative program entry points.

    ATS • Built by @shlevy

  10. Star

    wdblair / ats-pilot

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

    ATS • Built by @wdblair

  11. Star

    jamiepg1 / freebsd-ports-1

    ATS • Built by @jamiepg1

  12. Star

    mandel59 / ATS-Postiats

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

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

  13. Star

    jamiepg1 / ATS-Postiats-contrib

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

    • Built by @githwxi @bbarker

  14. Star

    mrd / ATS-Postiats

    Another implementation of ATS

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

  15. Star

    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. Star

    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. Star

    noisesmith / learning-ats

    various experiments with a language I don't know yet

    ATS • Built by @noisesmith

  18. Star

    alex-ren / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

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

  19. Star

    thisismiller / ats2

    playground for ats2 code

    ATS • Built by @thisismiller

  20. Star

    wdblair / ATS-Postiats-contrib

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

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

  21. Star

    bbarker / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

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

  22. Star

    jats-ug / ATS-Postiats

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

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

  23. Star

    ashalkhakov / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

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

  24. Star

    DawidvC / ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

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

  25. Star

    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.