RCEpic
FStarLang/FStar
A Proof-oriented Programming Language
- Owner
- FStarLang (organization)
- Stars
- Stars: 3,132
- Forks
- Forks: 267
- Language
- F*
- License
- Apache-2.0
- Created
- 2014
- Topics
- programming-languageverificationdependent-typessmttheorem-provingproof-assistantocamlf-sharpc-languagefstar
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by FStarLang
All 2 repos by FStarLang- FStarLang/karamelStars: 524OCamlAlpha
Nearby in F*
All F* repos- hacl-star/hacl-starStars: 1,845F*Beta
- project-everest/everparseStars: 345F*Alpha
- project-everest/mitls-fstarStars: 183F*Prototype