Staged compilation with dependent types
AndrasKovacs/staged has 189 GitHub stars.
It currently ranks #23556 daily, #24209 weekly, #26500 monthly by momentum on Trending Repos; its best-ever rank is #5528.