FStarLang / karamelLinks

KaRaMeL is a tool for extracting low-level F* programs to readable C code
450Updated this week

Alternatives and similar repositories for karamel

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

Sorting: