gravatar for sheganinans

sheganinans sheganinans on Github

global / united states / costa mesa

Languages

17 total

LanguageReposStarsGlobalCountryLocality
all3461379,28150,78517
F#4166811031
UrWeb316531
Haskell894,2037893
Shen141541
Agda14308401
J134061
Rust4341,5445,4565
Mercury1291141
JavaScript12770,19088,47645
OCaml115,1408721
Nix114,7066702
Verilog10---
Python10---
Dhall10---
unknown20---
Svelte10---
HTML20---

Repos

34 total

RepoLanguageStarsRank
sheganinans/Smoosh on GithubSmooshF#161,086
sheganinans/urweb_deep_dive on Githuburweb_deep_diveUrWeb135
sheganinans/pres on GithubpresHaskell88,090
sheganinans/Static-Dimensions on GithubStatic-DimensionsAgda4560
sheganinans/pfpl-shen on Githubpfpl-shenShen417
sheganinans/J-Automata on GithubJ-AutomataJ371
sheganinans/secret_hitler on Githubsecret_hitlerUrWeb313
sheganinans/stockfighter on GithubstockfighterRust2108,713
sheganinans/OmegaSq on GithubOmegaSqJavaScript21,270,495
sheganinans/fact_table_utils on Githubfact_table_utilsMercury298

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-04-13T07:38:15.378924898Z Re-sync