F# language server using Language Server Protocol
active 2023-08-18 → 2024-04-01 (UTC)
Complete coverage27,324 / 27,324 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-26 (UTC)
Events
912
Pushes
103
Pull requests
166
Issues
15
Stars
41
Forks
6
Activity over time
Daily event counts in the loaded window
Line chart, 228 days from 2023-08-18 to 2024-04-01. Pushes: 103 total, peak 6 in a day. Pull requests: 166 total, peak 9 in a day. Issues: 15 total, peak 2 in a day. Comments: 360 total, peak 17 in a day. Stars: 41 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| baronfel | 272 | 47 | 49 | 112 |
| TheAngryByrd | 268 | 55 | 63 | 80 |
| nojaf | 96 | 0 | 24 | 53 |
| github-advanced-security[bot] | 52 | 0 | 0 | 42 |
| brianrourkeboll | 36 | 0 | 3 | 17 |
| dawedawe | 25 | 0 | 13 | 8 |
| 1eyewonder | 14 | 0 | 5 | 5 |
| Booksbaum | 12 | 0 | 1 | 6 |
| jkone27 | 9 | 0 | 2 | 3 |
| Numpsy | 7 | 0 | 1 | 5 |
| smoothdeveloper | 7 | 0 | 1 | 4 |
| Krzysztof-Cieslak | 5 | 1 | 0 | 3 |
| Tangent-90 | 4 | 0 | 1 | 2 |
| WillEhrendreich | 4 | 0 | 0 | 3 |
| MrLuje | 4 | 0 | 1 | 3 |
| edgarfgp | 4 | 0 | 0 | 3 |
| luckasRanarison | 2 | 0 | 0 | 2 |
| vzarytovskii | 2 | 0 | 0 | 2 |
| MangelMaxime | 2 | 0 | 0 | 2 |
| HoraceGonzalez | 2 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 41 stars here means stars gained during the window, not the repo's star count.