Search results
107 packages found
A simple module for greeting users of WeEvaluate ATS.
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
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.
This package is for directly calling in ATS various GMP-functions.
3D graphics utilities for ATS/Postiats
An enterprise-class UI design language and React UI library.
getopt command line parsing for ATS/Postiats
This package is for directly calling in ATS various functions on simple dynamic strings.
A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)
This package is for experimenting with parsing combinators...
This package is for calling X11 functions in ATS
This package is for directly calling in ATS various functions on simple dynamic strings.
This package is for supporting recursive directory-traversal in parallel.