Name: Hongwei Xi
Type: User
Company: ATS Trustful Software, Inc.
Bio: As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
Location: Boston, Massachusetts
Blog: http://www.cs.bu.edu/~hwxi
Hongwei Xi's Projects
Hosting ATS-Anairiats at Github
CMake Modules and Examples for building ATS projects
For storing files at ats-lang.sourceforge.net
An ATS mode for Sublime Text 2/3 and TextMate
ATS2: Unleashing the Potentials of Types and Templates
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
This repository is primarily for storing ATS code no longer in active use.
For supporting external libraries of all varieties
This repository is primarily for testing ATS2 on various platforms
For supporting template-based programming
Bootstrapping ATS3
For http://ats-lang.org
For teaching BU CAS CS112, Spring, 2024
For building a Docker image for ATS-Positiats
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
A Dependently Typed Functional Programming Language
Documentation of ATS related topics.
ATS言語に関する文書の日本語訳置き場