gravatar for annenkov

annenkov annenkov on Github

global / denmark / aarhus

Languages

15 total

LanguageReposStarsGlobalCountryLocality
all2666358,4811,200105
Lean1277711
Racket41335541
Coq39343117
Agda1722062
Java24215,62442630
LigoLANG13911
Rust3341,31616311
OCaml10---
Dockerfile10---
Scala10---
JavaScript20---
Haskell30---
unknown10---
HTML10---
TeX10---

Repos

26 total

RepoLanguageStarsRank
annenkov/two-level on Githubtwo-levelLean27102
annenkov/unmix on GithubunmixRacket12619
annenkov/trace-monoids on Githubtrace-monoidsAgda7339
annenkov/futhark-extract on Githubfuthark-extractCoq6648
annenkov/stratego-sll on Githubstratego-sllJava4276,146
annenkov/stlcnorm on GithubstlcnormCoq31,100
annenkov/LBS on GithubLBSLigoLANG317
annenkov/concordium-marlowe on Githubconcordium-marloweRust366,940
annenkov/sql-dsl on Githubsql-dslRacket13,445
annenkov/scala-sll on Githubscala-sllScala0-

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-07T00:06:35.803400481Z Re-sync