FStarLang/pulse-verified-gc

24h trend summary

Trending score 0.09, freshness score 0.71, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-15: 5 stars and 0 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*