gravatar for bagnalla

bagnalla bagnalla on Github

global

Languages

13 total

LanguageReposStarsGlobal
all42149203,588
HolyC11066
JavaScript311203,275
OCaml581,657
Python57309,246
Rust2726,060
Coq56439
C32175,344
C++51431,545
Haskell6114,903
TLA10-
C#40-
unknown10-
HTML10-

Repos

42 total

RepoLanguageStarsRank
bagnalla/holyc_mal on Githubholyc_malHolyC1066
bagnalla/sexp-trees on Githubsexp-treesJavaScript9303,287
bagnalla/ensemble_detect_adv on Githubensemble_detect_advPython7439,596
bagnalla/newton_bevy on Githubnewton_bevyRust741,839
bagnalla/ocamlzar on GithubocamlzarOCaml54,601
bagnalla/zar on GithubzarCoq4811
bagnalla/AAL_code on GithubAAL_codeOCaml36,476
bagnalla/AAL on GithubAALJavaScript21,202,666
bagnalla/hakan on GithubhakanC2251,722
bagnalla/PCF on GithubPCFHaskell136,902

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-10T23:01:34.576490807Z Re-sync