HigherOrderLogic
Contributing since October 2022
Best year: 2024, #42 with 132 pts
Commits in 3 modules, by downloads.