← Back to repositories

hyperpolymath/proven-tests-and-benches

github.com/hyperpolymath/proven-tests-and-benches ↗

Idris

Stars

⭐ 2

PRs Reviewed

5

Bot Comments

17

Primary Language

Idris

Merge Rate

80.0%

Avg Time to Merge

3h

Avg Additions

+434

Avg Deletions

-12

Avg Files Changed

10

AI Review Products#

AI code review products active on this repository.