Trending Risers Newest Topics Collections Compare

Trending Risers Newest Topics Collections Compare

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

Trending Risers Newest Topics Collections

Tools

Search Compare Badges Submit a repo

Project

About Stats Developers Contact Privacy

F*

Trending F* repositories, ranked by momentum.

2 results

All Python repositories TypeScript repositories JavaScript repositories Rust repositories Go repositories C++ repositories Java repositories C repositories C# repositories F* repositories All languages

Place 10.6
FStarLang/FStar
A Proof-oriented Programming Language
+1 today3.1k stars#4125 overall
Place 20.0
project-everest/mitls-fstar
Verified implementation of TLS 1.3 in F*
183 stars#12025 overall

Follow this list in a feed reader(Atom, top 25)