gravatar for mb64

mb64 mb64 on Github

global

Languages

10 total

LanguageReposStarsGlobal
all25214169,193
Rust11579,550
sed15210
OCaml246632
C13030,345
Haskell5182,885
Idris17164
Agda14307
Standard ML10-
JavaScript10-
Prolog10-

Repos

25 total

RepoLanguageStarsRank
mb64/sel on Githubselsed5210
mb64/LC-interpreter on GithubLC-interpreterC3037,251
mb64/prolog on GithubprologRust2621,456
mb64/xtt on GithubxttOCaml261,417
mb64/android-ndk-rs on Githubandroid-ndk-rsRust2422,822
mb64/simple-lambda-prolog on Githubsimple-lambda-prologOCaml201,776
mb64/poly on GithubpolyHaskell164,717
mb64/idris2-extras on Githubidris2-extrasIdris7255
mb64/cubical-free-monads on Githubcubical-free-monadsAgda4539
mb64/small_morse on Githubsmall_morseRust387,488

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-10-31T05:12:54.154928813Z Re-sync