A python 3 module for reading files in the DIMACS format. This format is the 'de facto' standard for Boolean formulas in SAT competitions and SAT solvers.
Read more about mxklabs.dimacs here.
A python 3 module for decoding OpenSSH RSA certificates.
Read more about mxklabs.rsa here.
A work-in-progress python 3 module for data classes we find useful. Currently the only data class in this module is a file-backed circular buffer, used in IoT monitoring applications.
Read more about mxklabs.data here.