Search results

105 packages found

An enterprise-class UI design language and React UI library.

published 0.4.8 6 months ago
M
Q
P

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

published 1.0.1 6 years ago
M
Q
P

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

published 1.0.4 7 years ago
M
Q
P

A simple package for functions facilitating testing

published 1.0.1 6 years ago
M
Q
P

For parsing ATS-constraints in JSON format

published 1.0.2 7 years ago
M
Q
P

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

published 1.0.2 6 years ago
M
Q
P

This package is for experimenting with MP session types

published 1.0.2 7 years ago
M
Q
P

This package is for experimenting with session types

published 1.0.1 7 years ago
M
Q
P

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

published 1.0.1 6 years ago
M
Q
P

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

published 1.0.4 6 years ago
M
Q
P

3D graphics utilities for ATS/Postiats

published 0.0.3 6 years ago
M
Q
P

This package is for experimenting with parsing combinators...

published 1.0.7 5 years ago
M
Q
P

getopt command line parsing for ATS/Postiats

published 0.1.0 6 years ago
M
Q
P

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

published 1.0.1 6 years ago
M
Q
P

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

published 1.0.1 6 years ago
M
Q
P

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

published 1.0.0 6 years ago
M
Q
P

This package is for calling X11 functions in ATS

published 1.0.0 7 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 6 years ago
M
Q
P

Single road coordinate converter

published 1.1.1 4 years ago
M
Q
P

A custom reporter that enables saving of Nightwatch test results in ATS DB

published 1.1.4 2 years ago
M
Q
P