─── contributor

davidlazar

@davidlazar

github ↗

repos

ecosystems

languages

commits

1,374

─── top repos · by commits

─── repositories

20 total

runtimeverification/k

K Framework Tools 7.0

★ 569

389 commits

Python→ Runtime Verification

multiversx/k

K Framework Tools 5.0

★ 2

389 commits

Java→ Cosmos Network

dapphub/k

k-fork

★ 2

389 commits

Java→ Chai

vuvuzela/vuvuzela

Private messaging system that hides metadata

★ 2,485

140 commits

Go→ Open Source Cryptography

algorand/go-sumhash

★ 9

22 commits

Go→ Algorand

VoiNetwork/go-sumhash

★ 0

22 commits

→ Voi Network

algorand/falcon

★ 41

4 commits

C→ Algorand

runtimeverification/k-editor-support

Plugin files for editing K files

★ 12

4 commits

Java→ Runtime Verification

VoiNetwork/falcon

★ 0

4 commits

→ Voi Network

tendermint/crypto

[mirror] Go supplementary cryptography libraries

★ 6

1 commits

Go→ Cosmos Network

bnb-chain/bnc-crypto

[mirror] Go supplementary cryptography libraries

★ 6

1 commits

Go→ BNB Chain

iost-official/CryptIOST

Go supplementary cryptography libraries

★ 4

1 commits

Go→ IOST

bnb-chain/tendermint-crypto

[mirror] Go supplementary cryptography libraries

★ 4

1 commits

→ BNB Chain

Qitmeer/crypto

[mirror] Go supplementary cryptography libraries

★ 2

1 commits

Go→ Qitmeer

NemProject/crypto

[mirror] Go supplementary cryptography libraries

★ 1

1 commits

Go→ NEM

dhilman/google-maps-services-go

Go client library for Google Maps API Web Services

★ 0

1 commits

Go→ TON

ipfs-force-community/crypto

[mirror] Go supplementary cryptography libraries

★ 0

1 commits

→ Ethereum Virtual Machine Stack

DarrylWong/go-benchmarks

★ 0

1 commits

Go→ Ethereum

ecadlabs/crypto

[mirror] Go supplementary cryptography libraries

★ 0

1 commits

Go→ ECAD Labs Inc.

coingate/go-crypto

[mirror] Go supplementary cryptography libraries

★ 0

1 commits

Go→ Coingate

─── peer developers

cce

─── ecosystems

Runtime Verification (2)Cosmos Network (2)Algorand (2)Voi Network (2)BNB Chain (2)Chai (1)Open Source Cryptography (1)IOST (1)Qitmeer (1)NEM (1)TON (1)Ethereum Virtual Machine Stack (1)Ethereum (1)ECAD Labs Inc. (1)Coingate (1)

─── languages

Go11
Java3
Python1
C1

─── subscriber view

Unlock the full view of davidlazar

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.