npmhwxi


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

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

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

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

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

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

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

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

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

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

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

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

    published version 1.0.2, 8 years ago
  • A simple package for functions facilitating testing

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

    published version 1.0.2, 8 years ago
  • For providing patsopt-functionalities via node.js

    published version 0.3.0-beta, 8 years ago
  • For parsing ATS-constraints in JSON format

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

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

    published version 1.0.3, 7 years ago
  • For solving ATS-constraints externally

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

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

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

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

    published version 1.0.1, 7 years ago
  • This package is for CSV-related parsing...

    published version 1.0.5, 7 years ago
  • This package is for grading BUCS courses...

    published version 1.0.7, 7 years ago
show more packages
Profile