exists-forall / nickel

A safe and efficient target language for functional compilers
19Updated 6 years ago

Alternatives and similar repositories for nickel:

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