← Back to repositories
danbri

danbri/factoidal

github.com/danbri/factoidal ↗
F*

Stars

⭐ 2

PRs Reviewed

45

Bot Comments

277

Primary Language

F*

Merge Rate

82.2%

Avg Time to Merge

24m

Avg Additions

+2.3K

Avg Deletions

-252

Avg Files Changed

10

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
45 PRs53 events