Litex: The Language Where Mathematics Verifies Itself.
litexlang/golitex has 659 GitHub stars.
It currently ranks #33005 daily, #33326 weekly, #34727 monthly by momentum on Trending Repos; its best-ever rank is #4641.