Python library for parsing and producing STL files, in both ASCII and binary formats