gravatar for ghasshee

ghasshee ghasshee on Github

global / switzerland / chur

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all981,472,1838,7349
OCaml171,771171
Haskell1114,2901561
TeX10---
Nix10---
Hack20---
HTML20---
C10---

Repos

9 total

RepoLanguageStarsRank
ghasshee/pen on GithubpenOCaml73,805
ghasshee/evm on GithubevmHaskell135,122
ghasshee/yellowpaper on GithubyellowpaperTeX0-
ghasshee/nixos on GithubnixosNix0-
ghasshee/Haskell on GithubHaskellHack0-
ghasshee/nand2tetris on Githubnand2tetrisHack0-
ghasshee/ghasshee.github.io on Githubghasshee.github.ioHTML0-
ghasshee/LinuxProgramming on GithubLinuxProgrammingC0-
ghasshee/coq on GithubcoqHTML0-

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-05-07T22:55:27.933342603Z Re-sync