NationalSecurityAgency/Foundation

Foundation is a repository of formal cryptographic specifications

by National Security Agency Rust Apache-2.0 licence 16 forks Created Jul 2026 View on GitHub

Stars
62
<1% of NationalSecurityAgency's stars
Rank
#708,517
of 852,272 repos, top 84%
In Rust
#20,460
of 24,093 repos, top 85%

Among 852,272 repos

Compare with

40–63 stars: 143,756 repos, including Foundation

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #699,884
Next milestone
+4 stars to reach the top 80%

Stars counted Recounted daily Next count around