gravatar for Lysxia

Lysxia Lysxia on Github

global

Languages

12 total

LanguageReposStarsGlobal
all6276758,343
Haskell33413294
Coq1131219
TeX2174,544
Agda212161
C41058,967
HTML22353,348
OCaml215,104
Makefile10-
MATLAB10-
Rust20-
JavaScript10-
unknown10-

Repos

62 total

RepoLanguageStarsRank
Lysxia/advent-of-coq-2018 on Githubadvent-of-coq-2018Coq13939
Lysxia/first-class-families on Githubfirst-class-familiesHaskell841,167
Lysxia/generic-random on Githubgeneric-randomHaskell811,224
Lysxia/generic-data on Githubgeneric-dataHaskell442,087
Lysxia/profunctor-monad on Githubprofunctor-monadCoq42133
Lysxia/advent-of-coq-2021 on Githubadvent-of-coq-2021Coq38147
Lysxia/metamorph on GithubmetamorphHaskell332,636
Lysxia/system-F on Githubsystem-FCoq30179
Lysxia/coq-simple-io on Githubcoq-simple-ioCoq28189
Lysxia/generic-recursion-schemes on Githubgeneric-recursion-schemesHaskell263,206

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-11T23:36:43.182813666Z Re-sync