Topic Hub
#f-star (1 Repositories)
Ranked open-source repositories tagged with #f-star, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
87.8%
Avg Review Latency
384.1h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #f-star
B TierOCOCaml 519
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
87.8%
Merge Rate
16d
First Review
75%
1st-Timers
0
Maintainers