gravatar for dfirsov

dfirsov dfirsov on Github

global

Languages

2 total

LanguageReposStarsGlobal
all1242,380,407
eC9413
Agda30-

Repos

12 total

RepoLanguageStarsRank
dfirsov/jasmin-zk on Githubjasmin-zkeC221
dfirsov/easycrypt-zk-code on Githubeasycrypt-zk-codeeC133
dfirsov/easycrypt-rewinding on Githubeasycrypt-rewindingeC132
dfirsov/cut-free on Githubcut-freeAgda0-
dfirsov/commitments-non-malleability-ec on Githubcommitments-non-malleability-eceC0-
dfirsov/comparison-based-non-malleabiltiy-unsat on Githubcomparison-based-non-malleabiltiy-unsateC0-
dfirsov/easycrypt-one-time-blt-signature on Githubeasycrypt-one-time-blt-signatureeC0-
dfirsov/easycrypt-multiple-time-blt-signature on Githubeasycrypt-multiple-time-blt-signatureeC0-
dfirsov/agda-noetherianness on Githubagda-noetheriannessAgda0-
dfirsov/agda-programming-with-finite-sets on Githubagda-programming-with-finite-setsAgda0-

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-06-13T20:30:50.376148707Z Re-sync