← Back to repositories

LFDT-Nightstream/Nightstream

github.com/LFDT-Nightstream/Nightstream ↗

Lean

Stars

⭐ 34

PRs Reviewed

1

Bot Comments

2

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+10.1K

Avg Deletions

-124

Avg Files Changed

59

AI Review Products#

AI code review products active on this repository.