104 packages found
This package is for directly calling in ATS various GMP-functions.
Telemetry data from the scs-sdk-plugin
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 calling X11 functions in ATS
Node.js SDK for our Marlowe API
This package is for some basic thread-related objects: spin locks, barriers, channels, etc.
A generic implementation of the divide-and-conquer strategy
A simple package based on libgmp for arithmetic operations (plus some other common operations on integers)
A generic implementation of the divide-and-conquer strategy in parallel
This package is for CSV-related parsing...
This package contains library code for teaching BUCS courses...