gravatar for kmill

kmill kmill on Github

global / bolivia / santa cruz de la sierra

Languages

9 total

LanguageReposStarsGlobalCountryLocality
all34190171,278237
Lean61191911
JavaScript93684,177154
Python921149,650197
Mathematica2676122
C34111,569158
Haskell138,25831
C++11462,4079422
HTML10---
Java20---

Repos

34 total

RepoLanguageStarsRank
kmill/lean4-raytracer on Githublean4-raytracerLean11022
kmill/knotfolio on GithubknotfolioJavaScript23150,093
kmill/textadv on GithubtextadvPython14270,438
kmill/zmach on GithubzmachJavaScript8346,768
kmill/arrow_poly on Githubarrow_polyMathematica5920
kmill/LeanTeX on GithubLeanTeXLean5376
kmill/htmacros on GithubhtmacrosPython3878,945
kmill/dcc on GithubdccHaskell318,246
kmill/squidmusic on GithubsquidmusicPython21,265,207
kmill/squidlights on GithubsquidlightsC2285,052

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-04-01T05:24:56.972471909Z Re-sync