gravatar for ichistmeinname

ichistmeinname ichistmeinname on Github

global / germany / kiel

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all2657397,07615,430124
Coq22715941
Haskell9202,7081204
TeX3413,8118225
Agda14309111
HTML42354,9226,15766
Python10---
Ruby10---
JavaScript10---
TypeScript10---
unknown30---

Repos

26 total

RepoLanguageStarsRank
ichistmeinname/free-proving on Githubfree-provingCoq27192
ichistmeinname/free-theorems on Githubfree-theoremsHaskell97,183
ichistmeinname/Curry-Lenses on GithubCurry-LensesHaskell88,153
ichistmeinname/DTDatastructures on GithubDTDatastructuresAgda4543
ichistmeinname/ProbabilisticProgramming on GithubProbabilisticProgrammingTeX320,854
ichistmeinname/FreeMonadLecture on GithubFreeMonadLectureHaskell221,479
ichistmeinname/Puzzles on GithubPuzzlesTeX159,212
ichistmeinname/page on GithubpageHTML11,283,288
ichistmeinname/ProbabilisticProgrammingBenchmarks on GithubProbabilisticProgrammingBenchmarksHTML11,255,974
ichistmeinname/haskell-for-beginners on Githubhaskell-for-beginnersHaskell131,059

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-04T17:15:28.387634040Z Re-sync