104 packages found
A custom reporter that enables saving of Nightwatch test results in ATS DB
Single road coordinate converter
This package is for directly calling in ATS various GMP-functions.
Cordova plugin that excepts access to S3 from App Transport Security (iOS9)
For parsing ATS-constraints in JSON format
Telemetry data from the scs-sdk-plugin
This package is for directly calling in ATS various GMP-functions.
A simple package for functions facilitating testing
This package is for supporing in ATS a form of meta-programming for OpenSCAD
This package is for experimenting with MP session types
This package is for experimenting with session types
A simple package for various statically allocated global data structures (e.g., counter, deque, hashtable)
A simple package generating character streams based on strings, files, etc.
3D graphics utilities for ATS/Postiats
This package is for experimenting with parsing combinators...
getopt command line parsing for ATS/Postiats
This package is for directly calling in ATS various functions on simple dynamic strings.
This package is for directly calling in ATS various functions on simple dynamic strings.
This package is for CSV-related parsing
This package is for supporting recursive directory-traversal in parallel.