gravatar for talex5

talex5 talex5 on Github

global

Languages

8 total

LanguageReposStarsGlobal
all3766367,370
OCaml2562767
TLA11453
Dockerfile4125,178
Makefile166,756
C12189,239
Perl1120,690
Assembly1122,695
unknown30-

Repos

37 total

RepoLanguageStarsRank
talex5/cuekeeper on GithubcuekeeperOCaml289133
talex5/wayland-proxy-virtwl on Githubwayland-proxy-virtwlOCaml103371
talex5/ocaml-wayland on Githubocaml-waylandOCaml70526
talex5/irmin-indexeddb on Githubirmin-indexeddbOCaml361,022
talex5/irmin-js on Githubirmin-jsOCaml311,189
talex5/js-skeleton on Githubjs-skeletonOCaml251,485
talex5/mirage-trace-viewer on Githubmirage-trace-viewerOCaml211,723
talex5/get-activity on Githubget-activityOCaml181,914
talex5/spec-vchan on Githubspec-vchanTLA1462
talex5/tla on GithubtlaDockerfile125,686

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-07-01T09:24:32.098878126Z Re-sync