karamel (lang/fstar) Updated: 1 month 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: 2026.03.25 License: Apache-2
GitHub
Statistics for selected duration
2026-Jun-15 to 2026-Jul-15
| Total Installations | 1 |
|---|---|
| Requested Installations | 1 |
Loading Chart 
Loading Chart
Loading Chart
Loading Chart
| Variants | Count |
|---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart