gravatar for dgpv

dgpv dgpv on Github

global

Languages

6 total

LanguageReposStarsGlobal
all978318,532
Python234106,405
TLA32928
Alloy1815
Ada16205
C11241,246
unknown10-

Repos

9 total

RepoLanguageStarsRank
dgpv/bsst on GithubbsstPython27162,257
dgpv/SASwap_TLAplus_spec on GithubSASwap_TLAplus_specTLA2433
dgpv/miniscript-alloy-spec on Githubminiscript-alloy-specAlloy814
dgpv/bip32_template_python_implementation on Githubbip32_template_python_implementationPython7426,235
dgpv/spark-bitcoin-transaction-example on Githubspark-bitcoin-transaction-exampleAda6346
dgpv/bip32_template_parse_tplaplus_spec on Githubbip32_template_parse_tplaplus_specTLA3141
dgpv/ABL_contract_TLAplus_spec on GithubABL_contract_TLAplus_specTLA2175
dgpv/bip32_template_c_implementation on Githubbip32_template_c_implementationC1418,656
dgpv/miniscript-alloy-spec-generated-samples on Githubminiscript-alloy-spec-generated-samplesunknown0-

Badges

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

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-04T14:25:52.759738016Z Re-sync