gravatar for mb64

mb64 mb64 on Github

global

Languages

10 total

LanguageReposStarsGlobal
all25209159,844
Rust11568,558
sed15010
OCaml245620
C12929,133
Haskell5182,830
Idris17161
Agda14293
Standard ML10-
JavaScript10-
Prolog10-

Repos

25 total

RepoLanguageStarsRank
mb64/sel on Githubselsed5010
mb64/LC-interpreter on GithubLC-interpreterC2935,731
mb64/prolog on GithubprologRust2618,962
mb64/xtt on GithubxttOCaml261,371
mb64/android-ndk-rs on Githubandroid-ndk-rsRust2320,746
mb64/simple-lambda-prolog on Githubsimple-lambda-prologOCaml191,810
mb64/poly on GithubpolyHaskell164,642
mb64/idris2-extras on Githubidris2-extrasIdris7249
mb64/cubical-free-monads on Githubcubical-free-monadsAgda4521
mb64/small_morse on Githubsmall_morseRust376,566

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-04T02:40:55.991864091Z Re-sync