104 packages found

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

    published 1.0.4 5 years ago
    M
    Q
    P

    Telemetry data from the scs-sdk-plugin

    published 0.16.1 4 months ago
    M
    Q
    P

    A simple package for functions facilitating testing

    published 1.0.1 4 years ago
    M
    Q
    P

    This package is for supporing in ATS a form of meta-programming for OpenSCAD

    published 1.0.2 5 years ago
    M
    Q
    P

    This package is for experimenting with MP session types

    published 1.0.2 5 years ago
    M
    Q
    P

    This package is for experimenting with session types

    published 1.0.1 5 years ago
    M
    Q
    P

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

    published 1.0.1 4 years ago
    M
    Q
    P

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

    published 1.0.4 4 years ago
    M
    Q
    P

    3D graphics utilities for ATS/Postiats

    published 0.0.3 5 years ago
    M
    Q
    P

    This package is for experimenting with parsing combinators...

    published 1.0.7 4 years ago
    M
    Q
    P

    getopt command line parsing for ATS/Postiats

    published 0.1.0 5 years ago
    M
    Q
    P

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

    published 1.0.1 4 years ago
    M
    Q
    P

    This package is for calling X11 functions in ATS

    published 1.0.0 5 years ago
    M
    Q
    P

    Node.js SDK for our Marlowe API

    published 0.0.1 5 years ago
    M
    Q
    P

    This package is for some basic thread-related objects: spin locks, barriers, channels, etc.

    published 1.0.3 5 years ago
    M
    Q
    P

    A generic implementation of the divide-and-conquer strategy

    published 1.0.5 5 years ago
    M
    Q
    P

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

    published 1.0.8 4 years ago
    M
    Q
    P

    A generic implementation of the divide-and-conquer strategy in parallel

    published 1.0.9 5 years ago
    M
    Q
    P

    This package is for CSV-related parsing...

    published 1.0.5 4 years ago
    M
    Q
    P

    This package contains library code for teaching BUCS courses...

    published 1.0.9 4 years ago
    M
    Q
    P