Open source repositories tagged with #dependent-types, ranked by health score.
MimIR is my Intermediate Representation
