Tuesday, December 18, 2012

Logical Types Libraries

Libraries, etc.

Logical types has the following libraries, systems, and sample code. All provided with the usual caveats (they are not guaranteed to work, and Logical Types is not liable for you downloading and using this code):
 
Libraries
utils
a set of utilities useful for building production systems
contains modules:
Moduletest statusdocumentation
utils1/4 submodules testedno
utils.graph0/1 new preds testedno
utils.random0/10 preds testedno
utils.series3/3 preds/funcs testedno
utils.xml2/3 submodules testedno
utils.xml.facade1/1 pred testedno
utils.xml.pprint2/2 preds testedno
utils.xml.transform4/9 funcs/preds testedno
qcheck2
A testing/verification framework for Mercury programs
see qcheck2 justification (work in progress)
 
Systems
ltq
Extends Mercury with op/3 declarations, allowing syntax modification
see installation instructions
see ltq doc
see write_canonical that interprets op/3 declarations

sampleshello.m and play.m
 
Fixes/Patches
anys
A set of fixes to the utilities provided in the Mercury extras distribution supporting operations with the any mode
see anys-diffus.zip simply to apply patches
 
AlphaYou Have Been Warned!
matrix
Work in progress to add a viable matrix protocol; will be rolled into the utils library.
tiffany
A very small, thread-un-safe, foreign interface to libtiff; also requires matrix (which it already bundles).
 

No comments: