porrasm 

A simple framework for creating macros on Windows. Documentation and examples on GitHub: https://github.com/porrasm/windows-macro-framework-library

Get MIDI event callbacks with a single line of code.

A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.