kremlin (lang/fstar) Updated: 2 years, 8 months ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKreMLin is a tool that extracts an F* program to readable C code.
Version: 2022.06.08 License: Apache-2
GitHub
Statistics for selected duration
2025-Jan-09 to 2025-Feb-08
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.