← Back to organizations
FStarLang

FStarLang

github.com/FStarLang ↗

Total Stars

⭐ 515

Repos Tracked

1

PRs with AI Review

1

Bot Comments

0

AI Review Products#

AI code review products active on FStarLang's repositories.

GitHub CopilotGitHub Copilot
1 PRs1 events

Languages#

OCaml

Repositories#

Repositories where AI bots review code.

Repository⭐ StarsLanguageReviewed PRsBot Comments
karamel↗515OCaml10