Submit Sign Up Sign In

FStarLang

FStarLang

🏢 Organization

1 repository on SrcLog

1 Repos

3k Stars

249 Forks

3k Watchers

Repositories (1)

FStar FStarLang/FStar F*

A Proof-oriented Programming Language

Discover the most popular open-source projects on GitHub, organised by topic, language, and community traction. Updated daily.

Explore

Home
Search repositories
Submit a repository
Sitemap

Company

About SrcLog
Valuation Methodology
Contact Us

Legal

DMCA Policy
Removal Requests

Stats

421,215 repositories
435 topics
Updated daily

© 2026 SrcLog.com — All rights reserved. Not affiliated with GitHub, Inc. Data sourced from the GitHub public API