higher order dependently typed logic programing
mmirman/caledon has 174 GitHub stars.
It currently ranks #8205 daily, #7750 weekly, #11632 monthly by momentum on Trending Repos; its best-ever rank is #5993.