jrslepak / RemoraLinks

Dependently-typed language with Iverson-style implicit lifting
121Updated 5 years ago

Alternatives and similar repositories for Remora

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

Sorting: