CodeCompressor.jl This development package does not work as well as we think it does now. If you use it, use it only to check its work.