edwinb / Yaffle

A core language and API for dependently typed languages
90Updated last month

Alternatives and similar repositories for Yaffle:

Users that are interested in Yaffle are comparing it to the libraries listed below