porrasm MacroFramework by: porrasm 3,377 total downloads last updated 4/9/2021 Latest version: 0.1.9 A simple framework for creating macros on Windows. Documentation and examples on GitHub: https://github.com/porrasm/windows-macro-framework-library EzMidi by: porrasm 1,319 total downloads last updated 2/27/2021 Latest version: 1.0.6 Get MIDI event callbacks with a single line of code. SimpleSAT by: porrasm 622 total downloads last updated 2/2/2022 Latest version: 1.0.1 sat maxsat satisfiability logic A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.