gravatar for pewulfman

pewulfman pewulfman on Github

global / france / paris

Languages

10 total

LanguageReposStarsGlobalCountryLocality
LigoLANG37421
all1571,518,73927,6318,016
Coq10---
Solidity10---
Python10---
Shell30---
Standard ML10---
Rust10---
C++20---
TypeScript10---
unknown10---

Repos

15 total

RepoLanguageStarsRank
pewulfman/Tezos-TZIP-implementation on GithubTezos-TZIP-implementationLigoLANG75
pewulfman/dotfiles on GithubdotfilesShell0-
pewulfman/updatable_priority_queue on Githubupdatable_priority_queueC++0-
pewulfman/trello_api on Githubtrello_apiPython0-
pewulfman/Ligo-grammar on GithubLigo-grammarunknown0-
pewulfman/functional-redblacktree on Githubfunctional-redblacktreeCoq0-
pewulfman/AdventOfCode on GithubAdventOfCodeRust0-
pewulfman/TzToken on GithubTzTokenLigoLANG0-
pewulfman/ToyLanguages on GithubToyLanguagesStandard ML0-
pewulfman/Ligo-PKGBUILD on GithubLigo-PKGBUILDShell0-

Badges

Get your badge to use on GitHub or websites using the code below

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-03-08T17:13:27.811094183Z Re-sync