← Back to repositories
danbri

danbri/factoidal

github.com/danbri/factoidal ↗
F*

Stars

⭐ 2

PRs Reviewed

30

Bot Comments

217

Primary Language

F*

Merge Rate

93.3%

Avg Time to Merge

18m

Avg Additions

+2.8K

Avg Deletions

-336

Avg Files Changed

11

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
30 PRs35 events