Topic · f-star

f-star

Tracked open-source repos tagged f-star, sorted by stars.

Repos

1

Total stars

518

Avg. stars

518

Share

0.00%

Topics that frequently appear alongside f-star on the same repo.

Recent risers

Repos created in the last 90 days, tagged f-star.

No new repos tagged with this topic in the last 90 days.

#1
karamel ↗@FStarLangOCaml
KaRaMeL is a tool for extracting low-level F* programs to readable C code
★ 518-1Star change over the last 7 days

← Back to topics