Crucible is a library for symbolic simulation of imperative programs
GaloisInc/crucible has 781 GitHub stars.
It currently ranks #13708 daily, #14698 weekly, #17957 monthly by momentum on Trending Repos; its best-ever rank is #5602.