gravatar for Cjen1

Cjen1 Cjen1 on Github

global

Languages

13 total

LanguageReposStarsGlobal
all3650458,499
OCaml12191,086
Python515200,772
TLA31454
TeX1138,979
Nix115,410
Shell10-
Vim Script20-
JavaScript10-
Haskell10-
unknown40-
HTML10-
Go20-
Java20-

Repos

36 total

RepoLanguageStarsRank
Cjen1/reckon on GithubreckonPython14290,255
Cjen1/OCons on GithubOConsOCaml132,527
Cjen1/consensus-tlaplus on Githubconsensus-tlaplusTLA1174
Cjen1/ocaml-tree-diff on Githubocaml-tree-diffOCaml36,481
Cjen1/prototyping-testing on Githubprototyping-testingOCaml36,476
Cjen1/tla_increment on Githubtla_incrementTLA3141
Cjen1/nixos-config on Githubnixos-configNix19,303
Cjen1/etcd-test on Githubetcd-testPython11,504,896
Cjen1/u2pc-tla on Githubu2pc-tlaTeX134,440
Cjen1/WordToWordviaDictionary on GithubWordToWordviaDictionaryunknown0-

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-09-26T00:34:23.826496037Z Re-sync