Scripts relevant to the formalisation of the DEFLATE algorithm
LZSSScript.sml: Formalization and implementation of LZSS
LZSSrbScript.sml: Implementation of LZSS using ringbuffer
compressionScript.sml: First simple compressor
deflateScript.sml: Implementation of Deflate encoding and decoding
deflateTableScript.sml: Tables used in Deflate and definitions to interact with them
huffmanScript.sml: Implementation of Huffman Trees and Canonical Huffman codes.
ringBufferScript.sml: Implementation written by Alexander Cox
rleScript.sml: Implementation of Deflate specific Run Length Encoding
translation: Translation scripts for Defalte.