kremlin (lang/fstar) Updated: 3 years, 5 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-Oct-26 to 2025-Nov-25
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.