I myself have already previously starred Cryptol (I&#x27;m acquainted with a few ex-Galois people) but was unaware as to its wider adoption. Certainly I get reasonably frequent notifications on its issues list from Github.