ATS-LANG.ORG

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

Pinned Repositories

ATS-Category
For template-based library code that is, kind of, inspired by category theory.
Language:ATS10 2 01
ATS-CodeBook
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.
Language:ATS57 5 01
ats-lang.github.io
For hosting certain parts of http://www.ats-lang.org
Language:HTML25 3 69
ATS-Postiats-npm-utils
For using npm to manage additional ATS-Postiats packages
Language:ATS4 2 01
ATS-Postiats-release
ATS2: Unleashing the Potentials of Types and Templates
Language:ATS40 3 03

ats-lang/ATS-CodeBook
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.
Language:ATS57 5 01
ats-lang/ATS-Postiats-release
ATS2: Unleashing the Potentials of Types and Templates
Language:ATS40 3 03
ats-lang/ats-lang.github.io
For hosting certain parts of http://www.ats-lang.org
Language:HTML25 3 69
ats-lang/ATS-Category
For template-based library code that is, kind of, inspired by category theory.
Language:ATS10 2 01
ats-lang/ATS-Postiats-npm-utils
For using npm to manage additional ATS-Postiats packages
Language:ATS4 2 01