# project-everest/mitls-fstar

<https://repo.masters-masters.com/en/repos/project-everest/mitls-fstar>

[Home](https://repo.masters-masters.com/en) › [project-everest](https://repo.masters-masters.com/en/owners/project-everest) › [mitls-fstar](https://repo.masters-masters.com/en/repos/project-everest/mitls-fstar)

project-everest/mitls-fstar has 183 stars on GitHub. Its RepoMasters card: Prototype tier. Verified implementation of TLS 1.3 in F\* Language: F\*.

| Field | Value |
| --- | --- |
| Owner | [project-everest](https://repo.masters-masters.com/en/owners/project-everest) |
| Stars | 183 |
| Forks | 18 |
| Language | [F\*](https://repo.masters-masters.com/en/languages/f-star) |
| License | None |
| Created | 2015 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [project-everest/mitls-fstar](https://github.com/project-everest/mitls-fstar) |

## Repository

Verified implementation of TLS 1.3 in F\*

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by project-everest

- [project-everest/everparse · ★ 345 · F\* · Alpha](https://repo.masters-masters.com/en/repos/project-everest/everparse)
- [project-everest/vale · ★ 321 · F\# · Alpha](https://repo.masters-masters.com/en/repos/project-everest/vale)
- [project-everest/everest · ★ 209 · Shell · Prototype](https://repo.masters-masters.com/en/repos/project-everest/everest)

## Nearby in F\*

- [FStarLang/FStar · ★ 3,133 · F\* · RC](https://repo.masters-masters.com/en/repos/FStarLang/FStar)
- [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)
- [cryspen/bertie · ★ 138 · F\* · Prototype](https://repo.masters-masters.com/en/repos/cryspen/bertie)

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