HX stream protocol
Provides simple encoding and tagging of frames. Useful for framing protocol data.
Contains native Haskell implementation, Ivory functions and Tower programs for encoding and decoding streams.
Extracted from smaccmpilot-stm32f4/smaccm-datalink repository by Galois, Inc.