AndrasKovacs / staged

Staged compilation with dependent types
168Updated 2 weeks ago

Alternatives and similar repositories for staged:

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