gravatar for 01mf02

01mf02 01mf02 on Github

global / austria / innsbruck

Languages

13 total

LanguageReposStarsGlobalCountryLocality
all302,55320,137914
Rust102,51452831
Python116180,35359817
HTML21157,0031896
Makefile1311,545421
Haskell538,405384
Typst1227441
Isabelle2214532
OCaml215,540171
Java21789,8911,66333
Elm10---
Standard ML10---
unknown10---
Nix10---

Repos

30 total

RepoLanguageStarsRank
01mf02/jaq on GithubjaqRust2,471509
01mf02/kontroli-rs on Githubkontroli-rsRust2121,909
01mf02/pandocfilters on GithubpandocfiltersPython16243,395
01mf02/hifijson on GithubhifijsonRust1230,662
01mf02/computers-spaceflight on Githubcomputers-spaceflightHTML1153,249
01mf02/cop-rs on Githubcop-rsRust743,687
01mf02/notes on GithubnotesMakefile314,799
01mf02/sml-ocaml on Githubsml-ocamlHaskell317,376
01mf02/thesis on GithubthesisIsabelle2183
01mf02/jq-lang-spec on Githubjq-lang-specTypst2290

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-25T00:04:15.523434009Z Re-sync