A curated list of awesome AbstractMachine (https://github.com/NJU-ProjectN/abstract-machine) frameworks, software and resources. - View it on GitHub