Search results
105 packages found
An enterprise-class UI design language and React UI library.
This package is for directly calling in ATS various GMP-functions.
This package is for directly calling in ATS various GMP-functions.
A simple package for functions facilitating testing
For parsing ATS-constraints in JSON format
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 supporting recursive directory-traversal in parallel.
This package is for calling X11 functions in ATS
A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)
Single road coordinate converter
A custom reporter that enables saving of Nightwatch test results in ATS DB