# GitHub repos by FStarLang

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

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

All 2 public GitHub repos by FStarLang in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by FStarLang

2 public repos by FStarLang in the catalog, most starred first.

- [FStarLang/FStar · ★ 3,133 · F\* · RC](https://repo.masters-masters.com/en/repos/FStarLang/FStar)
- [FStarLang/karamel · ★ 524 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/FStarLang/karamel)

## See FStarLang on GitHub

- [https://github.com/FStarLang](https://github.com/FStarLang)

---
Data: GitHub