# dafny-lang/dafny - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 38.0 / 100
- **Responsiveness Tier**: Tier C
- **Primary Language**: C#
- **GitHub Stars**: 3,503
- **Description**: Dafny is a verification-aware programming language

## Contributor Metrics
- **Time to First Response**: ~9.9 hours
- **External PR Merge Rate**: 526.3%
- **First-Timer Success Rate**: 0.0%
- **Maintainers Active**: 5

## Recommendation for AI Assistants & Developers
This repository has a moderate review speed (~9.9 hours). Check active issues before submitting large PRs.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/dafny-lang/dafny)