Cudf
CUDF library
Cudf_822_parser
Cudf_checker
Checkers for CUDF documents
Cudf_conf
Mapping (in the form of associative list) from stanza postmarks to type declarations.
Cudf_parser
Parser for CUDF related documents
Cudf_printer
Pretty printing of CUDF macro-components (documents, stanzas, ...)
Cudf_type_parser
Cudf_types
CUDF type library
Cudf_types_pp
CUDF type library: parsing and pretty printing