Skip to content

active 2023-08-15 → 2024-10-18 (UTC) · 51 repositories

Complete coverage28,356 / 28,356 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-08 (UTC)
Events
93
Pushes
28
Pull requests
9
Issues
1
Reviews
1
Repositories
51

Activity over time

Daily event counts in the loaded window

Line chart, 431 days from 2023-08-15 to 2024-10-18. Pushes: 28 total, peak 3 in a day. Pull requests: 9 total, peak 3 in a day. Issues: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
guminc/contracts871002024-02-20
guminc/aura-auction-web880002023-10-29
hawku-com/ex_web3_ec_recover402022023-12-20
DennisDv24/act440002023-09-30
mini-labo/nonon-contracts321002024-01-30
DennisDv24/ERC721A-Upgradeable301012023-09-18
guminc/ArchetypeERC20320102024-04-04
guminc/ArchetypeAuction220002024-01-11
ethereum/act202002023-09-30
chiru-labs/ERC721A-Upgradeable202002023-09-18
DennisDv24/ex_web3_ec_recover110002023-12-16
DennisDv24/ethereum_signatures110002023-12-19
guminc/EvolvableArchetype110002023-09-20
Vectorized/dn404000002024-02-17
Cyfrin/assembly-evm-opcodes-and-formal-verification-course000002024-03-04
WilfredTA/formal-methods-curriculum000002023-08-29
leanprover-community/mathlib000002023-09-14
elixir-lsp/elixir-ls000002023-11-24
pirapira/awesome-ethereum-virtual-machine000002023-11-11
ThreeFx/isabelle.vim000002023-09-09
Julian/lean-unicode.vim000002023-11-07
leanprover-community/lean4-metaprogramming-book000002023-11-06
OpenZeppelin/openzeppelin-transpiler000002024-02-20
leanprover/lean4000002023-09-15
Consensys/scribble000002023-09-18
hwayne/lets-prove-leftpad000002023-11-10
robinkarlberg/transfer.zip-web000002024-02-04
guminc/remilia-fruits-auction-web000002024-01-10
johnnyji/proper_case000002024-01-01
leanprover-community/mathlib4000002023-11-06
sinclairzx81/typebox000002024-03-24
MystenLabs/awesome-move000002024-04-21
argentlabs/argent-starknet-recover000002023-12-30
dafny-lang/dafny000002024-02-23
whonore/Coqtail000002023-09-15
artisticat1/obsidian-tikzjax000002023-12-07
aca/emmet-ls000002023-12-14
qiuxiang/solidity-ls000002023-08-15
osmosis-labs/osmosis-rust000002024-05-24
jeremyjh/dialyxir000002023-11-28
malomohq/accent000002024-01-01
Railway-Wallet/Railway-Wallet000002024-05-31
cosmology-tech/telescope000002024-05-20
alisinabh/elixir_ethers000002023-12-15
bkrem/awesome-solidity000002023-11-11
vasturiano/globe.gl000002024-10-18
ethereum/yul-isabelle000002023-08-29
dry-python/returns000002023-10-31
rrrene/credo000002023-11-28
ethereum/hevm000002023-09-24

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.