# FStarLang/FStar

<https://repo.masters-masters.com/en/repos/FStarLang/FStar>

[Home](https://repo.masters-masters.com/en) › [FStarLang](https://repo.masters-masters.com/en/owners/FStarLang) › [FStar](https://repo.masters-masters.com/en/repos/FStarLang/FStar)

FStarLang/FStar has 3,133 stars on GitHub. Its RepoMasters card: RC tier. A Proof-oriented Programming Language Language: F\*.

| Field | Value |
| --- | --- |
| Owner | [FStarLang](https://repo.masters-masters.com/en/owners/FStarLang) |
| Stars | 3,133 |
| Forks | 267 |
| Language | [F\*](https://repo.masters-masters.com/en/languages/f-star) |
| License | Apache-2.0 |
| Created | 2014 |
| Topics | programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant, ocaml, f-sharp, c-language, fstar |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [FStarLang/FStar](https://github.com/FStarLang/FStar) |

## Repository

A Proof-oriented Programming Language

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by FStarLang

- [FStarLang/karamel · ★ 524 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/FStarLang/karamel)

## Nearby in F\*

- [hacl-star/hacl-star · ★ 1,846 · F\* · Beta](https://repo.masters-masters.com/en/repos/hacl-star/hacl-star)
- [project-everest/everparse · ★ 345 · F\* · Alpha](https://repo.masters-masters.com/en/repos/project-everest/everparse)
- [project-everest/mitls-fstar · ★ 183 · F\* · Prototype](https://repo.masters-masters.com/en/repos/project-everest/mitls-fstar)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.