← Back to repositories
danbri

danbri/factoidal

github.com/danbri/factoidal ↗
F*

Stars

⭐ 2

PRs Reviewed

46

Bot Comments

280

Primary Language

F*

Merge Rate

82.6%

Avg Time to Merge

24m

Avg Additions

+2.2K

Avg Deletions

-247

Avg Files Changed

10

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
46 PRs54 events