litexlang's tracked open-source repos, sorted by stars.
Litex: The Language Where Mathematics Verifies Itself.
