gravatar for dgpv

dgpv dgpv on Github

global

Languages

6 total

LanguageReposStarsGlobal
all852372,018
TLA33025
Alloy1913
Ada16184
Python16280,873
C11210,442
unknown10-

Repos

8 total

RepoLanguageStarsRank
dgpv/SASwap_TLAplus_spec on GithubSASwap_TLAplus_specTLA2529
dgpv/miniscript-alloy-spec on Githubminiscript-alloy-specAlloy912
dgpv/spark-bitcoin-transaction-example on Githubspark-bitcoin-transaction-exampleAda6306
dgpv/bip32_template_python_implementation on Githubbip32_template_python_implementationPython6399,121
dgpv/bip32_template_parse_tplaplus_spec on Githubbip32_template_parse_tplaplus_specTLA3127
dgpv/ABL_contract_TLAplus_spec on GithubABL_contract_TLAplus_specTLA2161
dgpv/bip32_template_c_implementation on Githubbip32_template_c_implementationC1357,142
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: 2023-05-28T19:31:32.424580012Z Re-sync