GitHub intelligence

FStarLang

1 repository3,110 stars in totalTop language F*GitHub profile ↗

Repository	Language	Stars	30D Change	Activity	Trend
FStarLang/FStar FStarLang · Programming Languages & Compilers	F*	3.1K	Collectingfrom NOV 1	23d ago