npmhwxi

libatscc2js

This is a trial version of libatscc2js working under ATS2-0.2.11.

atscntrb-libgmp

This package is for directly calling in ATS various GMP-functions.

atscntrb-intinf-hwxi

A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)

atscntrb-hx-intinf

A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)

catsparsemit

For parsing the C code generated from ATS source via patsopt

atsccomp-atscc2js

For transpiling into JS the C code generated from ATS source via patsopt

atsccomp-atscc2py3

For transpiling into Python C code generated from ATS source via patsopt

atsccomp-atscc2php

For transpiling into PHP the C code generated from ATS source via patsopt

atsccomp-atscc2pl

For transpiling into Perl the C code generated from ATS source via patsopt

atsccomp-atscc2erl

For transpiling into Erlang the C code generated from ATS source via patsopt

atsccomp-atscc2scm

For transpiling into Scheme the C code generated from ATS source via patsopt

atsccomp-atscc2clj

For transpiling into Clojure the C code generated from ATS source via patsopt

atscntrb-hx-mytesting

A simple package for functions facilitating testing

atscntrb-libpcre

This package is for directly calling in ATS various PCRE-functions.

patsopt-nodejs

For providing patsopt-functionalities via node.js

ats-extsolve

For parsing ATS-constraints in JSON format

atscntrb-libjson-c

This package is for directly calling in ATS various json-c-functions.

atscntrb-libcurl

This package is for directly calling in ATS various CURL-functions.

ats-extsolve-smt2

For solving ATS-constraints externally

ats-postiats-include

The package contains the header files needed for compiling the C code generated from ATS source via patsopt

atscntrb-hx-cstream

A simple package generating character streams based on strings, files, etc.

atscntrb-hx-globals

A simple package for various statically allocated global data structures (e.g., counter, deque, hashtable)

atscntrb-sdstring

This package is for directly calling in ATS various functions on simple dynamic strings.

atscntrb-hx-csv-parse

This package is for CSV-related parsing...

atscntrb-hx-mygrading

This package is for grading BUCS courses...