ATS-LANG-ORG

cargo-ats3 Public
A Cargo subcommand for building ATS3 projects

ats-lang/cargo-ats3’s past year of commit activity

Rust 0 MPL-2.0 0
0 0
Updated Mar 8, 2026
ats-lang/ats-lang.github.io’s past year of commit activity

HTML
26 9 0 0
Updated Jun 29, 2025
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
64
MIT
2 0 0
Updated Jan 31, 2021
ats-lang/ATS-Postiats-release’s past year of commit activity

ATS
47 61 0 0
Updated Dec 18, 2019
ats-lang/ATS-Postiats-npm-utils’s past year of commit activity

ATS
5
MIT
2 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
13
Apache-2.0
2 0 0
Updated Aug 21, 2018