Hongwei Xi's repositories
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
ATS-Xanadu
Bootstrapping ATS3
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
ATS-Temptory
For supporting template-based programming
ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
ATS-Anairiats
Hosting ATS-Anairiats at Github
atslangweb
For http://ats-lang.org
CS112-2024-Spring-hwxi
For teaching BU CAS CS112, Spring, 2024
ats-lang-sourceforge
For storing files at ats-lang.sourceforge.net
ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate
ATS-Postiats-frozen
This repository is primarily for storing ATS code no longer in active use.
ATS-Postiats-libatsext
For supporting external libraries of all varieties
Docker-ATS-Positiats
For building a Docker image for ATS-Positiats
FALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
org.ats-lang.documentation
Documentation of ATS related topics.