gravatar for noti0na1

noti0na1 noti0na1 on Github

global / austria / lamp

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all13129225,3109651
OCaml29138411
Java42353,9702411
Racket2848711
Haskell265,192241
Clojure118,754221
unknown10---
Scala10---

Repos

13 total

RepoLanguageStarsRank
noti0na1/socc on GithubsoccOCaml86432
noti0na1/LambdaCalculus-java on GithubLambdaCalculus-javaJava1978,576
noti0na1/Kripke-Models on GithubKripke-ModelsRacket61,045
noti0na1/GADTFormat on GithubGADTFormatOCaml54,817
noti0na1/Faux-Racket on GithubFaux-RacketHaskell413,450
noti0na1/CodeTranslator on GithubCodeTranslatorHaskell222,323
noti0na1/Racket-Codes on GithubRacket-CodesRacket22,342
noti0na1/HFSN on GithubHFSNJava2529,152
noti0na1/clojure-learn on Githubclojure-learnClojure124,192
noti0na1/TranslationPendant on GithubTranslationPendantJava11,315,562

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-11T15:54:47.471156070Z Re-sync