gravatar for DSLsofMath

DSLsofMath DSLsofMath on Github

global

Languages

4 total

LanguageReposStarsGlobal
all1849083,880
Haskell7410297
unknown35040,601
TeX6164,853
Agda214144

Repos

18 total

RepoLanguageStarsRank
DSLsofMath/DSLsofMath on GithubDSLsofMathHaskell393263
DSLsofMath/FPClimate on GithubFPClimateunknown4448,445
DSLsofMath/tfpie2015 on Githubtfpie2015TeX98,163
DSLsofMath/FLABloM on GithubFLABloMAgda9279
DSLsofMath/BScProj2018 on GithubBScProj2018Haskell78,853
DSLsofMath/ctfp2014 on Githubctfp2014unknown6234,381
DSLsofMath/ValiantAgda on GithubValiantAgdaAgda5491
DSLsofMath/Hatlab on GithubHatlabHaskell413,751
DSLsofMath/BScProj2016 on GithubBScProj2016TeX320,663
DSLsofMath/BScProj2022 on GithubBScProj2022Haskell315,599

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-04-05T15:01:06.666865278Z Re-sync