ATS2: Unleashing the Potentials of Types and Templates

Tool to count lines of source code.

Bootstrapping ATS3

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…

Collection of ATS goodness

Home of the fast-arithmetic library for number theory in ATS and Haskell.

This repository is primarily for testing ATS2 on various platforms

Concurrency primitives for ATS

3D vector algebra library for ATS

Monads for viewtypes in ATS

ATS/C libraries

Port of Data.Either for ATS

A verified memory-safe correct implementation of left-pad in ats2

Monoids in ATS

Bare-bones unit testing library for ATS

A simple command-line tic-tac-toe game with variable board sizes and winning lengths. Prototype is written in C, while primary implementation will be written in ATS.