Description
This package is for experimenting with parsing combinators...
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 GMP-functions.
Keywords
Publisher
Description
This package is for supporing in ATS a form of meta-programming for OpenSCAD
Keywords
Publisher
Description
A simple package generating character streams based on strings, files, etc.
Keywords
Publisher
Description
This package is for directly calling in ATS various functions on simple dynamic strings.
Keywords
Publisher
Description
This package is for supporting recursive directory-traversal in parallel.
Keywords
Publisher
Description
This package is for experimenting with MP session types
Keywords
Publisher
Description
This package is for experimenting with session types
Keywords
Publisher
Description
Gatsby source plugin for loading job posts from greenhouse.io
Keywords
Publisher
Description
This package is for doing simple webpage layout...
Keywords
Publisher
Description
A generic implementation of the divide-and-conquer strategy in parallel
Keywords
Publisher
Description
This package is for some basic thread-related objects: spin locks, barriers, channels, etc.
Keywords
Publisher
Description
Gatsby source plugin for loading job posts from greenhouse.io
Keywords
Publisher
Description
This package is for directly calling in ATS various PCRE-functions.
Keywords
Publisher
Description
This package is for file-based locking.
Keywords
Publisher
Description
This package is for directly calling in ATS various libevent-functions.