This is a trial version of libatscc2js working under ATS2-0.2.11.
published version 1.0.0-ATS2-0.2.11, 9 years agoThis package is for directly calling in ATS various GMP-functions.
published version 1.0.4, 8 years agoA simple package based on libgmp for arithmetic operations (plus some other common operations on integers)
published version 1.0.0-alpha, 8 years agoA simple package based on libgmp for arithmetic operations (plus some other common operations on integers)
published version 1.0.8, 7 years agoFor parsing the C code generated from ATS source via patsopt
published version 1.0.2, 7 years agoFor transpiling into JS the C code generated from ATS source via patsopt
published version 1.0.4, 8 years agoFor transpiling into Python C code generated from ATS source via patsopt
published version 1.0.2, 8 years agoFor transpiling into PHP the C code generated from ATS source via patsopt
published version 1.0.3, 8 years agoFor transpiling into Perl the C code generated from ATS source via patsopt
published version 1.0.2, 8 years agoFor transpiling into Erlang the C code generated from ATS source via patsopt
published version 1.0.1, 8 years agoFor transpiling into Scheme the C code generated from ATS source via patsopt
published version 1.0.2, 8 years agoFor transpiling into Clojure the C code generated from ATS source via patsopt
published version 1.0.2, 8 years agoA simple package for functions facilitating testing
published version 1.0.1, 8 years agoThis package is for directly calling in ATS various PCRE-functions.
published version 1.0.2, 8 years agoFor providing patsopt-functionalities via node.js
published version 0.3.0-beta, 8 years agoThis package is for directly calling in ATS various json-c-functions.
published version 1.0.3, 7 years agoThis package is for directly calling in ATS various CURL-functions.
published version 1.0.3, 7 years agoThe package contains the header files needed for compiling the C code generated from ATS source via patsopt
published version 1.0.0, 8 years agoA simple package generating character streams based on strings, files, etc.
published version 1.0.4, 7 years agoA simple package for various statically allocated global data structures (e.g., counter, deque, hashtable)
published version 1.0.1, 7 years agoThis package is for directly calling in ATS various functions on simple dynamic strings.
published version 1.0.1, 7 years agoThis package is for CSV-related parsing...
published version 1.0.5, 7 years agoThis package is for grading BUCS courses...
published version 1.0.7, 7 years ago