gravatar for mo271

mo271 mo271 on Github

global / switzerland / basel

Languages

8 total

LanguageReposStarsGlobalCountryLocality
all1655406,8813,244116
Lean6385911
HTML1876,83142014
Java16152,59789034
JavaScript111,308,3624,118129
unknown311,431,5113,831146
TeX2140,56460422
Vim Script10---
OpenSCAD10---

Repos

16 total

RepoLanguageStarsRank
mo271/formal_book on Githubformal_bookLean3589
mo271/mo271.github.io on Githubmo271.github.ioHTML871,907
mo271/guessaday on GithubguessadayJava6193,782
mo271/stirling on GithubstirlingLean2739
mo271/faulhaber on GithubfaulhaberLean11,112
mo271/small_polytopes on Githubsmall_polytopesTeX139,245
mo271/emoji-test on Githubemoji-testunknown1928,797
mo271/klein on GithubkleinJavaScript11,406,000
mo271/models on GithubmodelsOpenSCAD0-
mo271/dotfiles on GithubdotfilesVim Script0-

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-22T00:10:52.281186794Z Re-sync