An extra, curated list of “awesome” MPS resources, including extensions/libraries, software and tutorials. Next: f1re
