githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
ATS Trustful Software, Inc.Boston, Massachusetts
Pinned Repositories
ATS-Anairiats
Hosting ATS-Anairiats at Github
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
ATS-Temptory
For supporting template-based programming
ATS-Xanadu
Bootstrapping ATS3
atslangweb
For http://ats-lang.org
githwxi's Repositories
githwxi/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
githwxi/ATS-Xanadu
Bootstrapping ATS3
githwxi/ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
githwxi/ATS-Temptory
For supporting template-based programming
githwxi/ATS-Anairiats
Hosting ATS-Anairiats at Github
githwxi/ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
githwxi/atslangweb
For http://ats-lang.org
githwxi/ATS-CMake
CMake Modules and Examples for building ATS projects
githwxi/ats-lang-sourceforge
For storing files at ats-lang.sourceforge.net
githwxi/ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate
githwxi/ATS-Postiats-docugen
githwxi/ATS-Postiats-frozen
This repository is primarily for storing ATS code no longer in active use.
githwxi/ATS-Postiats-libatsext
For supporting external libraries of all varieties
githwxi/Docker-ATS-Positiats
For building a Docker image for ATS-Positiats
githwxi/FALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
githwxi/Idris-dev
A Dependently Typed Functional Programming Language
githwxi/org.ats-lang.documentation
Documentation of ATS related topics.
githwxi/translate
ATS言語に関する文書の日本語訳置き場