─── contributor

henry-hz

@henry-hz

github ↗

repos

ecosystems

languages

commits

286

─── top repos · by commits

─── repositories

49 total

fuseio/fuse-l1

★ 0

50 commits

Solidity→ Ethereum Virtual Machine Stack

blockchain-audit/labs

Our creative space

★ 1

49 commits

Solidity→ Ethereum Virtual Machine Stack

henry-hz/cairo-challenge

★ 0

40 commits

Cairo→ Ethereum

fuseio/interact

Scripts to have a simple comand line to interact with optimism

★ 0

22 commits

Shell→ Ethereum Virtual Machine Stack

blockchain-audit/recap-protocol

Rewrite of Cap Protocol using Function Requirements-Effects-Interactions + Protocol Invariants Pattern

★ 0

19 commits

Dafny→ Ethereum Virtual Machine Stack

fuseio/fuse-l2

Optimism L2 Fork

★ 0

13 commits

Go→ Ethereum Virtual Machine Stack

blockchain-audit/tools

Dotfiles with tools for VI, solidity, audit and much more

★ 0

11 commits

Lua→ General

blockchain-audit/liquity-contracts

Liquity contracts annotated [to port to cairo]

★ 0

8 commits

Solidity→ General

blockchain-audit/lean4-math

The user home repository for the Mathematics in Lean tutorial.

★ 0

7 commits

HTML→ General

henry-hz/uniswap-example

★ 0

6 commits

Solidity→ Ethereum

argotorg/hevm

Symbolic and concrete EVM execution engine

★ 339

4 commits

Haskell→ Ethereum

dapphub/dapptools

Dapp, Seth, Hevm, and more

★ 2,124

4 commits

Haskell→ Chai

GuardianAudits/hevm_custom

★ 0

4 commits

Haskell→ Ethereum

movingco/dapptools

Dapp, Seth, Hevm, and more

★ 0

4 commits

→ Move Stack

blockchain-audit/liquity-model

★ 0

4 commits

Python→ General

blockchain-audit/interface-poc

Architecture of module, component and contract communication

★ 0

4 commits

Cairo→ General

psemeghin/dgtenergy

Multichain utility token protocol for decentralized access to real-world energy assets.

★ 1

2 commits

TypeScript→ BNB Chain

blockchain-audit/wasm-cairo

★ 0

2 commits

Rust→ General

blockchain-audit/evm-dis

An EVM bytecode disassembler/assembler

★ 0

2 commits

Dafny→ General

henry-hz/optimism

★ 0

2 commits

Go→ Ethereum

base/chains

provides metadata for networkIDs and chainIDs

★ 78,900

1 commits

Kotlin→ Base

sky-ecosystem/dss-deploy-scripts

★ 49

1 commits

Shell→ Ethereum

fuseio/fuse-studio

Web 3.0 tool for creating and operating communities on the Fuse network

★ 29

1 commits

JavaScript→ Ethereum

taikoxyz/chains

provides metadata for networkIDs and chainIDs

★ 14

1 commits

Kotlin→ Ethereum

Consensys/WrappedEther.dfy

Dafny Model of the WrappedEther Smart Contract

★ 7

1 commits

Dafny→ Consensys

smartcontracts/chains

provides metadata for networkIDs and chainIDs

★ 1

1 commits

→ Ethereum Virtual Machine Stack

Crossbell-Box/chains

provides metadata for networkIDs and chainIDs

★ 1

1 commits

Kotlin→ Crossbell

garizon/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Ethereum Virtual Machine Stack

cgcardona/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

→ Ethereum Virtual Machine Stack

AstraProtocol/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Ethereum Virtual Machine Stack

connorch/ethereum-list-chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Ethereum

btwiuse/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Ethereum

yurivin/ethereum-lists-chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

→ BNB Chain

xenterchainx/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ BNB Chain

gasolin/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

→ BNB Chain

aaronbuchwald/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

→ BNB Chain

avo-network/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Avalanche

UltronFoundationDev/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Ultron Foundation

teleport-network/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Teleport Nework

ProjectTwelve/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Solidity

qiyichain/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ QiyiChain Technology Inc.

pointnetwork/ethereum-lists-chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Point Network

blockchain-audit/liquity-ui

★ 0

1 commits

→ General

blockchain-audit/internal-mechanisms-fv

Internal Mechanisms of Formal Verification - Meetup - Set 2024

★ 0

1 commits

Dafny→ General

solidityx/vention

★ 0

1 commits

Kotlin→ Ethereum

AndrianRatuRandar/MATCHAIN

★ 0

1 commits

Kotlin→ Ethereum

dcSpark/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ dcSpark

haqq-network/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Cosmos Network

imversed/chains

provides metadata for networkIDs and chainIDs

★ 0

1 commits

Kotlin→ Cosmos Network

─── peer developers

─── ecosystems

Ethereum (12)Ethereum Virtual Machine Stack (9)General (9)BNB Chain (5)Cosmos Network (2)Chai (1)Move Stack (1)Base (1)Consensys (1)Crossbell (1)Avalanche (1)Ultron Foundation (1)Teleport Nework (1)Solidity (1)QiyiChain Technology Inc. (1)Point Network (1)dcSpark (1)

─── languages

Kotlin19
Solidity4
Dafny4
Haskell3
Cairo2
Shell2
Go2
Lua1
HTML1
Python1

─── subscriber view

Unlock the full view of henry-hz

· 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.