GitHub repository: sebastien-riou/lean-init
Primary language: Python
Description: Compression of initialized data and/or code for embedded systems.