gravatar for FrozenWinters

FrozenWinters FrozenWinters on Github

global

Languages

6 total

LanguageReposStarsGlobal
all18103268,201
Agda610329
JavaScript30-
unknown30-
C++40-
TeX10-
Jupyter Notebook10-

Repos

18 total

RepoLanguageStarsRank
FrozenWinters/stlc on GithubstlcAgda5739
FrozenWinters/SSTs on GithubSSTsAgda22121
FrozenWinters/SbE on GithubSbEAgda20135
FrozenWinters/parametric-d on Githubparametric-dAgda4502
FrozenWinters/HTN_PDEs on GithubHTN_PDEsJavaScript0-
FrozenWinters/lattice_hydrodynamics on Githublattice_hydrodynamicsC++0-
FrozenWinters/Standard-Compliant-Vector on GithubStandard-Compliant-Vectorunknown0-
FrozenWinters/xinvert on GithubxinvertC++0-
FrozenWinters/SBUHacks_cancer_visualisation on GithubSBUHacks_cancer_visualisationJavaScript0-
FrozenWinters/Moving_Buildings on GithubMoving_BuildingsC++0-

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-05-19T00:12:29.035035888Z Re-sync