gravatar for Veridise

Veridise Veridise on Github

global

Languages

10 total

LanguageReposStarsGlobal
all14116244,197
Racket249136
Coq137129
C++41563,355
Rust1726,923
Python14471,729
Solidity136,898
Go11166,223
LLVM10-
TypeScript10-
unknown10-

Repos

14 total

RepoLanguageStarsRank
Veridise/Eurus on GithubEurusRacket46152
Veridise/Coda on GithubCodaCoq37152
Veridise/circom2llvm on Githubcircom2llvmRust742,406
Veridise/libBlockchain on GithublibBlockchainC++6145,051
Veridise/fluffy-zkevm-fuzzer on Githubfluffy-zkevm-fuzzerC++5162,551
Veridise/V on GithubVC++4193,102
Veridise/vanguard-aleo on Githubvanguard-aleoPython4589,112
Veridise/lib-symexec on Githublib-symexecRacket31,594
Veridise/zk-secureum-workshop-23-quiz-sources on Githubzk-secureum-workshop-23-quiz-sourcesSolidity37,650
Veridise/picus_gnark on Githubpicus_gnarkGo1222,558

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-15T17:45:30.611534063Z Re-sync