Skip to content
@ats-lang

ATS-LANG.ORG

Of its own kind for unleashing the potentials of types and templates!

Pinned Loading

  1. ats-lang.github.io ats-lang.github.io Public

    For hosting certain parts of http://www.ats-lang.org

    HTML 25 9

  2. ATS-Postiats-release ATS-Postiats-release Public

    Forked from githwxi/ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ATS 41 3

  3. ATS-CodeBook ATS-CodeBook Public

    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…

    ATS 57 1

Repositories

Showing 5 of 5 repositories
  • ats-lang.github.io Public

    For hosting certain parts of http://www.ats-lang.org

    ats-lang/ats-lang.github.io’s past year of commit activity
    HTML 25 9 1 0 Updated Feb 18, 2023
  • ATS-CodeBook Public

    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-lang/ATS-CodeBook’s past year of commit activity
    ATS 57 MIT 1 0 0 Updated Jan 31, 2021
  • ATS-Postiats-release Public Forked from githwxi/ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

    ats-lang/ATS-Postiats-release’s past year of commit activity
    ATS 41 57 0 0 Updated Dec 18, 2019
  • ATS-Postiats-npm-utils Public

    For using npm to manage additional ATS-Postiats packages

    ats-lang/ATS-Postiats-npm-utils’s past year of commit activity
    ATS 4 MIT 1 0 0 Updated May 23, 2019
  • ATS-Category Public

    For template-based library code that is, kind of, inspired by category theory.

    ats-lang/ATS-Category’s past year of commit activity
    ATS 10 Apache-2.0 1 0 0 Updated Aug 21, 2018

Top languages

Loading…

Most used topics

Loading…