← Back to repositories
hyperpolymath

hyperpolymath/awesome-idris2

github.com/hyperpolymath/awesome-idris2 ↗
Idris

Stars

⭐ 1

PRs Reviewed

2

Bot Comments

14

Primary Language

Idris

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+100

Avg Deletions

-14

Avg Files Changed

8

AI Review Products#

AI code review products active on this repository.

CodeRabbitCodeRabbit
2 PRs2 events
GitHub CopilotGitHub Copilot
1 PRs1 events
hyperpolymath/awesome-idris2 — AI Code Review Activity — Code Review Trends