GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ githwxi
3 open source projects by githwxi
[ Open user page on Github ]
1.
ATS-Temptory
For supporting template-based programming
✭ 19
ATS
c
Makefile
2.
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
✭ 45
c
ATS
javascript
HTML
emacs lisp
Makefile
3.
ATS-Xanadu
Implementing ATS3 in ATS2
✭ 165
ATS
1-3
of
3
user projects