rocq-community / huffmanLinks
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
☆14Updated last year
Alternatives and similar repositories for huffman
Users that are interested in huffman are comparing it to the libraries listed below
Sorting: