gravatar for lecopivo

lecopivo lecopivo on Github

global

Languages

8 total

LanguageReposStarsGlobal
all2548784,212
C++82368,649
Lean723410
CMake3101,588
Mathematica25879
JavaScript12753,701
Python20-
HTML10-
D10-

Repos

25 total

RepoLanguageStarsRank
lecopivo/SciLean on GithubSciLeanLean21811
lecopivo/WaterSurfaceWavelets on GithubWaterSurfaceWaveletsC++13614,729
lecopivo/cpp-wrangle on Githubcpp-wrangleC++6725,884
lecopivo/HouLean on GithubHouLeanC++1577,745
lecopivo/magnum-imgui on Githubmagnum-imguiCMake101,780
lecopivo/lean4-karray on Githublean4-karrayLean10230
lecopivo/Interpolation on GithubInterpolationC++9114,042
lecopivo/EigenLean on GithubEigenLeanC++9110,296
lecopivo/SciLeanExamples on GithubSciLeanExamplesLean4463
lecopivo/MathematicaToFEniCS on GithubMathematicaToFEniCSMathematica31,770

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-26T02:36:56.889915449Z Re-sync