AndrasKovacs / staged

Staged compilation with dependent types
169Updated last week

Alternatives and similar repositories for staged:

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