Gems4 plutus 0.18 555,937 March 23, 2025 sonic 0.1.8 15,808 March 16, 2016 rubyprot 0.5.0 4,996 December 09, 2009 punisher 0.0.1 4,188 May 07, 2013