gravatar for W95Psp

W95Psp W95Psp on Github

global / france / france

Languages

19 total

LanguageReposStarsGlobalCountryLocality
all5724723,09014,7834,477
F*7112021
JavaScript137292,5125,9321,622
TypeScript44138,8493,089983
Nix723,35911032
OCaml20---
PHP30---
Dockerfile20---
Python10---
Shell10---
Rust10---
Lua10---
R10---
unknown30---
HTML40---
Go10---
Java10---
TeX20---
Isabelle10---
Clean20---

Repos

57 total

RepoLanguageStarsRank
W95Psp/verified-abstract-interpreter on Githubverified-abstract-interpreterF*923
W95Psp/CleanForVSCode on GithubCleanForVSCodeTypeScript3254,599
W95Psp/BobbyCarrot on GithubBobbyCarrotJavaScript21,215,578
W95Psp/RyanairJs on GithubRyanairJsJavaScript21,204,687
W95Psp/nix-flake-fstar on Githubnix-flake-fstarNix25,069
W95Psp/Ryanair-flight-finder on GithubRyanair-flight-finderJavaScript13,219,975
W95Psp/QuizVocabularyHandwriting on GithubQuizVocabularyHandwritingJavaScript13,219,973
W95Psp/FStarToyStaticAnalyser on GithubFStarToyStaticAnalyserF*1104
W95Psp/StarCombinator on GithubStarCombinatorF*1101
W95Psp/cloogle-js on Githubcloogle-jsTypeScript1774,401

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-27T08:40:35.935281072Z Re-sync