rupakm/leslie

Stars

⭐ 13

PRs Reviewed

5

Bot Comments

4

Primary Language

Lean

Merge Rate

40.0%

Avg Time to Merge

24m

Avg Additions

+1.0K

Avg Deletions

-236

Avg Files Changed

4