Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*

Visit GitHub
F*
1.8k
189
60 contributors
Apache License 2.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast hacl-star/hacl-star is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 26 – Nov 2, 2026

Stars +2 in 8 days

01
1

Forks +0 in 8 days

01

Merged PRs 6 in 8 days

0123
3

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in F*

3231
Oct 26Oct 27Oct 28Oct 29Oct 30Oct 31Nov 1Nov 2
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsF*
Mon, Oct 26, 2026+0+01Not trending
Tue, Oct 27, 2026+0+01#3
Wed, Oct 28, 2026+0+03#2
Thu, Oct 29, 2026+0+01#3
Fri, Oct 30, 2026+1+00#1
Sat, Oct 31, 2026+1+00Not trending
Sun, Nov 1, 2026+0+00Not trending
Mon, Nov 2, 2026+0+00Not trending
Total+2+06
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

Trendshift Trending

hacl-star/hacl-star has trended on Trendshift's daily and weekly list

Daily

First achieved on 30th, Oct 2026 for F*

#1 F* Repository Of The Day

    • Weekly

    First achieved in Week 44, 2026 for F*

    #2 F* Repository Of The Week

    First achieved on 30th, Oct 2026 for F*

    #1 F* Repository Of The Day

    First achieved in Week 44, 2026 for F*

    #2 F* Repository Of The Week

    You might also like

    Repositories close to hacl-star/hacl-star
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    celabshq/libcrux

    C

    The formally verified crypto library for Rust

    27164

    formosa-crypto/libjade

    C

    Crypto library

    7517

    LoupVaillant/Monocypher

    C

    An easy to use, easy to deploy crypto library

    797101

    rod-chapman/SPARKNaCl

    Ada

    SPARK 2014 re-implementation of the TweetNaCl crypto library

    13915

    trussed-dev/trussed

    Rust

    Modern Cryptographic Firmware

    51035

    intel/cryptography-primitives

    C

    Intel® Cryptography Primitives Library is a secure, fast and lightweight library of building blocks for cryptography, highly-optimized for various Intel® CPUs

    392108

    facebookincubator/haberdashery

    Rust

    A collection of high-performance crypto implementations.

    5610

    jedisct1/libsodium

    C

    A modern, portable, easy to use crypto library.

    14k1.8k

    mit-plv/fiat-crypto

    Rocq Prover

    Cryptographic Primitive Code Generation by Fiat

    851171