96 packages found

M
Q
P

Description

This package is for experimenting with parsing combinators...

Keywords

Publisher

published 1.0.74 months ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.1a year ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.1a year ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.22 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.4a year ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.1a year ago
M
Q
P

Description

This package is for supporting recursive directory-traversal in parallel.

Keywords

Publisher

published 1.0.0a year ago
M
Q
P

Description

This package is for experimenting with MP session types

Keywords

Publisher

published 1.0.22 years ago
M
Q
P

Description

This package is for experimenting with session types

Keywords

Publisher

published 1.0.12 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.8a year ago
M
Q
P

Description

This package is for libatsopt (the library version of patsopt).

Keywords

Publisher

published 0.3.5-32 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.9a year ago
M
Q
P

Description

Gatsby source plugin for loading job posts from greenhouse.io

Keywords

Publisher

published 2.0.26 months ago
M
Q
P

Description

This package is for doing simple webpage layout...

Keywords

Publisher

published 1.0.32 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.9a year ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.32 years ago
M
Q
P

Description

Gatsby source plugin for loading job posts from greenhouse.io

Keywords

Publisher

published 2.1.56 months ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.2a year ago
M
Q
P

Description

This package is for file-based locking.

Keywords

Publisher

published 1.0.02 years ago
M
Q
P

Description

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

Keywords

Publisher

published 1.0.0a year ago