Topic · hacl

hacl

Tracked open-source repos tagged hacl, sorted by stars.

Repos

1

Total stars

1,836

Avg. stars

1,836

Share

0.00%

Topics that frequently appear alongside hacl on the same repo.

Recent risers

Repos created in the last 90 days, tagged hacl.

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

#1
hacl-star ↗@hacl-starF*
HACL*, a formally verified cryptographic library written in F*
★ 1,836+0Star change over the last 7 days

← Back to topics