gravatar for mattrobball

mattrobball mattrobball on Github

global / united states / columbia

Languages

10 total

LanguageReposStarsGlobalCountryLocality
Lean28188371
all1581,398,059154,470100
Python10---
Rust10---
Lua10---
JavaScript30---
TypeScript10---
HTML10---
SCSS10---
Go20---
TeX20---

Repos

15 total

RepoLanguageStarsRank
mattrobball/lean-autograding on Githublean-autogradingLean8273
mattrobball/latex_code-server on Githublatex_code-serverTypeScript0-
mattrobball/hugo_research_group on Githubhugo_research_groupHTML0-
mattrobball/server on GithubserverGo0-
mattrobball/bibassemble on GithubbibassemblePython0-
mattrobball/latex_template on Githublatex_templateTeX0-
mattrobball/pdfviewer on GithubpdfviewerJavaScript0-
mattrobball/nvim on GithubnvimLua0-
mattrobball/mdbook-extension on Githubmdbook-extensionRust0-
mattrobball/bb_shuffler on Githubbb_shufflerGo0-

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-14T22:41:04.174629878Z Re-sync