Users
Analyzed
1 day
ago.
based on code collected
1 day
ago.
Contributions
Contributes to IPython as Samuel Lelièvre
Contributes to Coq proof assistant as Samuel Lelièvre
Contributes to Sage: Open Source Mathematics Software as Samuel Lelièvre
and 15 other projectsKudo Rank
Contributions
Contributes to Spring RTS Engine as Vlad-Mihai Sima (malric)
Contributes to libstrophe as Vlad-Mihai Sima
Kudo Rank
