❤
npm
Sign UpSign In

npmhwxi

Packages 82

  • libatscc2js

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

    npmhwxi
    published 1.0.0-ATS2-0.2.11 7 years ago

  • atscntrb-libgmp

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

    npmhwxi
    published 1.0.4 7 years ago

  • atscntrb-intinf-hwxi

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

    npmhwxi
    published 1.0.0-alpha 7 years ago

  • atscntrb-hx-intinf

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

    npmhwxi
    published 1.0.8 6 years ago

  • catsparsemit

    For parsing the C code generated from ATS source via patsopt

    npmhwxi
    published 1.0.2 6 years ago

  • atsccomp-atscc2js

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

    npmhwxi
    published 1.0.4 7 years ago

  • atsccomp-atscc2py3

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

    npmhwxi
    published 1.0.2 7 years ago

  • atsccomp-atscc2php

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

    npmhwxi
    published 1.0.3 7 years ago

  • atsccomp-atscc2pl

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

    npmhwxi
    published 1.0.2 7 years ago

  • atsccomp-atscc2erl

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

    npmhwxi
    published 1.0.1 7 years ago

  • atsccomp-atscc2scm

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

    npmhwxi
    published 1.0.2 7 years ago

  • atsccomp-atscc2clj

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

    npmhwxi
    published 1.0.2 7 years ago

  • atscntrb-hx-mytesting

    A simple package for functions facilitating testing

    npmhwxi
    published 1.0.1 6 years ago

  • atscntrb-libpcre

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

    npmhwxi
    published 1.0.2 7 years ago

  • patsopt-nodejs

    For providing patsopt-functionalities via node.js

    npmhwxi
    published 0.3.0-beta 7 years ago

  • ats-extsolve

    For parsing ATS-constraints in JSON format

    npmhwxi
    published 1.0.2 7 years ago

  • atscntrb-libjson-c

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

    npmhwxi
    published 1.0.3 6 years ago

  • atscntrb-libcurl

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

    npmhwxi
    published 1.0.3 6 years ago

  • ats-extsolve-smt2

    For solving ATS-constraints externally

    npmhwxi
    published 1.0.5 6 years ago

  • ats-postiats-include

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

    npmhwxi
    published 1.0.0 7 years ago

  • atscntrb-hx-cstream

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

    npmhwxi
    published 1.0.4 6 years ago

  • atscntrb-hx-globals

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

    npmhwxi
    published 1.0.1 6 years ago

  • atscntrb-sdstring

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

    npmhwxi
    published 1.0.1 6 years ago

  • atscntrb-hx-csv-parse

    This package is for CSV-related parsing...

    npmhwxi
    published 1.0.5 5 years ago

  • atscntrb-hx-mygrading

    This package is for grading BUCS courses...

    npmhwxi
    published 1.0.7 6 years ago
show more packages