Boston, Massachusetts

Hongwei Xi

Elite
@githwxi

As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

www.cs.bu.edu/~hwxi

ATS-Postiats. ATS2: Unleashing the Potentials of Types and Templates

391

ATS-Xanadu. Bootstrapping ATS3

253

ATS-Postiats-contrib. ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

51

ATS-Temptory. For supporting template-based programming

23

XATSHOME. For hosting ATS3 and developing CodeDepot

18

ATS-Postiats-test. This repository is primarily for testing ATS2 on various platforms

11

ATS-Anairiats. Hosting ATS-Anairiats at Github

10

atslangweb. For http://ats-lang.org

4
8
Apply