karamel (lang/fstar) Updated: 6 days, 18 hours ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.
Version: 2025.04.01 License: Apache-2
GitHub
Statistics for selected duration
2026-Mar-23 to 2026-Apr-22
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.