gravatar for bkomuves

bkomuves bkomuves on Github

global / hungary / budapest

Languages

8 total

LanguageReposStarsGlobalCountryLocality
all20102266,073381213
Haskell119798633
Idris2325722
C11298,452398189
Agda1153633
Nim10---
JavaScript10---
unknown20---
Mathematica10---

Repos

20 total

RepoLanguageStarsRank
bkomuves/toy-language-server on Githubtoy-language-serverHaskell591,598
bkomuves/nanohs on GithubnanohsHaskell312,752
bkomuves/AOC on GithubAOCIdris3407
bkomuves/hash-circuits on Githubhash-circuitsHaskell315,068
bkomuves/compact-word-vectors on Githubcompact-word-vectorsHaskell220,642
bkomuves/polynomial-algebra on Githubpolynomial-algebraHaskell132,425
bkomuves/formal-proofs on Githubformal-proofsAgda1975
bkomuves/finite-fields on Githubfinite-fieldsC1396,214
bkomuves/combinat on GithubcombinatHaskell127,310
bkomuves/symmetric-polynomials on Githubsymmetric-polynomialsHaskell0-

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-16T17:49:48.606540479Z Re-sync