githwxi/ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
Developer Profile
githwxi
Discovered public repositories for githwxi in the GitHub catalog.
githwxi/translate
ATS言語に関する文書の日本語訳置き場
githwxi/FALCON
Flux Assignment (with) LAD Convex Objectives (and) Normalization.
githwxi/ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate
githwxi/org.ats-lang.documentation
Documentation of ATS related topics.
githwxi/ATS-CMake
CMake Modules and Examples for building ATS projects
githwxi/Idris-dev
A Dependently Typed Functional Programming Language
githwxi/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates