npmhwxi


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

    published 1.0.0-ATS2-0.2.11 7 years ago
  • This package is for directly calling in ATS various GMP-functions.

    published 1.0.4 7 years ago
  • A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)

    published 1.0.0-alpha 7 years ago
  • A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)

    published 1.0.8 6 years ago
  • For parsing the C code generated from ATS source via patsopt

    published 1.0.2 6 years ago
  • For transpiling into JS the C code generated from ATS source via patsopt

    published 1.0.4 7 years ago
  • For transpiling into Python C code generated from ATS source via patsopt

    published 1.0.2 7 years ago
  • For transpiling into PHP the C code generated from ATS source via patsopt

    published 1.0.3 7 years ago
  • For transpiling into Perl the C code generated from ATS source via patsopt

    published 1.0.2 7 years ago
  • For transpiling into Erlang the C code generated from ATS source via patsopt

    published 1.0.1 7 years ago
  • For transpiling into Scheme the C code generated from ATS source via patsopt

    published 1.0.2 7 years ago
  • For transpiling into Clojure the C code generated from ATS source via patsopt

    published 1.0.2 7 years ago
  • A simple package for functions facilitating testing

    published 1.0.1 6 years ago
  • This package is for directly calling in ATS various PCRE-functions.

    published 1.0.2 7 years ago
  • For providing patsopt-functionalities via node.js

    published 0.3.0-beta 7 years ago
  • For parsing ATS-constraints in JSON format

    published 1.0.2 7 years ago
  • This package is for directly calling in ATS various json-c-functions.

    published 1.0.3 6 years ago
  • This package is for directly calling in ATS various CURL-functions.

    published 1.0.3 6 years ago
  • For solving ATS-constraints externally

    published 1.0.5 6 years ago
  • The package contains the header files needed for compiling the C code generated from ATS source via patsopt

    published 1.0.0 7 years ago
  • A simple package generating character streams based on strings, files, etc.

    published 1.0.4 6 years ago
  • A simple package for various statically allocated global data structures (e.g., counter, deque, hashtable)

    published 1.0.1 6 years ago
  • This package is for directly calling in ATS various functions on simple dynamic strings.

    published 1.0.1 6 years ago
  • This package is for CSV-related parsing...

    published 1.0.5 6 years ago
  • This package is for grading BUCS courses...

    published 1.0.7 6 years ago
show more packages