These are custom shape libraries for diagrams.net (formally known as draw.io) for puppet logos and icons - View it on GitHub