Overview
Global Rank
#487,574
10,987 points
Project Contributions
| Project | Rank | Score |
|---|---|---|
| Coq | #255 | 6,878 |
| TypeORM | #573 | 3,051 |
| High-order Virtual Machine (HVM) | #49 | 1,041 |
Profile Actions
Is this your profile?
Sign up to claim this profileAdd to your GitHub README.md
[](https://ossrank.com/c/289735-carl-patenaude-poulin)