4. ats-accPretty-print error messages of the ATS Compiler
5. c2atsgenerate ATS interface from C code
10. hs-atsHome of the fast-arithmetic library for number theory in ATS and Haskell.
11. libmemeA library for inserting clap emoji into strings
13. xanaduThis repository is supposed to hold a released version of Xanadu