sweirich's tracked open-source repos, sorted by stars.
A demo implementation of a simple dependently-typed language
