Description
This package is for experimenting with parsing combinators...
Keywords
Publisher
Description
This package is for directly calling in ATS various GMP-functions.
Keywords
Publisher
Description
A simple package generating character streams based on strings, files, etc.
Keywords
Publisher
Description
A simple package for various statically allocated global data structures (e.g., counter, deque, hashtable)
Keywords
Publisher
Description
This package is for directly calling in ATS various functions on simple dynamic strings.
Keywords
Publisher
Description
This package is for supporing in ATS a form of meta-programming for OpenSCAD
Keywords
Publisher
Description
This package is for experimenting with MP session types
Keywords
Publisher
Description
This package is for directly calling in ATS various PCRE-functions.
Keywords
Publisher
Description
This package is for experimenting with session types
Keywords
Publisher
Description
This package is for directly calling in ATS various hiredis-functions.
Keywords
Publisher
Description
This package is for directly calling in ATS various CURL-functions.
Keywords
Publisher
Description
This package is for supporting recursive directory-traversal in parallel.
Keywords
Publisher
Description
This package is for directly calling in ATS various libevent-functions.
Keywords
Publisher
Description
This package is for directly calling in ATS various cairo-functions.
Keywords
Publisher
Description
A generic implementation of the divide-and-conquer strategy in parallel
Keywords
Publisher
Description
This package is for directly calling in ATS various json-c-functions.
Keywords
Publisher
Description
This package is for directly calling in ATS various XML2-functions.