Contributor

Kamil Trzciński

Overview

Global Rank

#2,285 20,365,549 points

Project Contributions

Project Rank Score
Gitlab #36 20,346,699
Linux #14,380 15,416
Coq #269 3,434

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/121344)](https://ossrank.com/c/121344-kamil-trzcinski-gitlab)