Oh yeah, Galois is another one of the greats in the field. They just keep cranking out one practical thing after another. At a higher pace than most it seems. Here are a few good things on their end.<p>Scrolling their blog is endless insights
<a href="https:&#x2F;&#x2F;galois.com&#x2F;blog&#x2F;" rel="nofollow">https:&#x2F;&#x2F;galois.com&#x2F;blog&#x2F;</a><p>CRYPTOL&#x27;s open source page
<a href="http:&#x2F;&#x2F;www.cryptol.net&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cryptol.net&#x2F;</a><p>SMACCMPilot has things like Ivory language
<a href="http:&#x2F;&#x2F;smaccmpilot.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;smaccmpilot.org&#x2F;</a><p>GitHub site with 8 pages worth of their stuff
<a href="https:&#x2F;&#x2F;github.com&#x2F;galoisinc" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;galoisinc</a>