Latest metric snapshot

2026-06-15: 8 stars and 4 forks.

Similar repositories

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,044 stars and 256 forks.

    Trending score: 0.47; stars gained: +0; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  2. 2. hacl-star/hacl-star

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

    GitHub repository with 1,830 stars and 190 forks.

    Trending score: 0.36; stars gained: +1; forks gained: +0.

    Language: F*

    Topics: cryptography, verified-primitives, high-performance, security, formal-methods, formal-verification

  3. 3. FStarLang/pulse-verified-gc

    Verified garbage collectors in Pulse

    GitHub repository with 5 stars and 0 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: F*

Trending in F*

  1. 1. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,044 stars and 256 forks.

    Trending score: 0.47; stars gained: +0; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  2. 2. hacl-star/hacl-star

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

    GitHub repository with 1,830 stars and 190 forks.

    Trending score: 0.36; stars gained: +1; forks gained: +0.

    Language: F*

    Topics: cryptography, verified-primitives, high-performance, security, formal-methods, formal-verification

  3. 3. FStarLang/pulse-verified-gc

    Verified garbage collectors in Pulse

    GitHub repository with 5 stars and 0 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: F*