Search results
107 packages found
Telemetry data from the scs-sdk-plugin
A simple module for greeting users of WeEvaluate ATS.
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)
This package is for directly calling in ATS various GMP-functions.
A simple package generating character streams based on strings, files, etc.
3D graphics utilities for ATS/Postiats
getopt command line parsing for ATS/Postiats
This package is for directly calling in ATS various functions on simple dynamic strings.
An enterprise-class UI design language and React UI library.
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.