dspivak / dependent-types

11Updated last week

Alternatives and similar repositories for dependent-types:

Users that are interested in dependent-types are comparing it to the libraries listed below