FStarLang / FStar
git clone https://github.com/FStarLang/FStar.git
A Proof-oriented Programming Language
+1
stars, 24h · #13,445
+~7
stars, 7 days · #13,964
+~30
stars, 30 days · #19,321
3.1k
★ total · +0% this week
267
forks · 602 open issues
Star history (as recorded here)
LanguageF*
LicenseApache-2.0
Created2014-04-03 (12y ago)
Last pushtoday
OwnerOrganization
GitHub topics
c-languagedependent-typesdijkstra-monadsf-sharpfstarinteractive-theorem-provingocamlprogram-proofprogramming-languageproof-assistantsmttheorem-provingverification
Links
- GitHub: github.com/FStarLang/FStar
- Homepage: https://fstar-lang.org
- Releases · Issues · Hacker News mentions