Search results
107 packages found
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
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.
A Node.js package for parsing and extracting information from resumes in various formats.
This package is for doing simple webpage layout...