Mirror (Self)

KreMLin is a tool for extracting low-level F* programs to readable C code - FStarLang

VCS #Forks Repository
GitHub GitHub 0 https://github.com/FStarLang/kremlin

Contact information

Mail to Andreas Kupries