Topic · verified-primitives

verified-primitives

Tracked open-source repos tagged verified-primitives, sorted by stars.

Repos

1

Total stars

1,836

Avg. stars

1,836

Share

0.00%

Topics that frequently appear alongside verified-primitives on the same repo.

Recent risers

Repos created in the last 90 days, tagged verified-primitives.

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