Giters
ATS-LANG.ORG (ats-lang)

ATS-LANG.ORG

ats-lang

Geek Repo

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

Home Page:http://www.ats-lang.org

Github PK Tool:Github PK Tool

ATS-LANG.ORG's repositories

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:ATSLicense:MITStargazers:57Issues:6Issues:0

ATS-Postiats-release

ATS2: Unleashing the Potentials of Types and Templates

Language:ATSLicense:NOASSERTIONStargazers:41Issues:3Issues:0

ats-lang.github.io

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

Language:HTMLStargazers:25Issues:3Issues:6

ATS-Category

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

Language:ATSLicense:Apache-2.0Stargazers:10Issues:2Issues:0

ATS-Postiats-npm-utils

For using npm to manage additional ATS-Postiats packages

Language:ATSLicense:MITStargazers:4Issues:2Issues:0