SeddonShen

View on GitHub ↗

active 2023-08-15 → 2026-10-12 (UTC) · 558 repositories

Complete coverage28,031 / 28,031 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-25 (UTC)

Events

1.1K

Pushes

348

Pull requests

Issues

Reviews

Repositories

558

Activity over time

Daily event counts in the loaded window

Pushes
Pull requests
Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

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

Repository	Contributions	Pushes	PRs	Issues	Comments	Last seen
SeddonShen/ISSPA	66	64	2	0	0	2025-01-05
iscas-tis/riscv-spec-core	52	22	16	0	9	2025-05-30
SeddonShen/nutshell-fv	38	36	2	0	0	2026-03-02
SeddonShen/SeddonShen.github.io	33	33	0	0	0	2026-07-28
SeddonShen/riscv-mini-formal	25	24	1	0	0	2025-06-01
SeddonShen/RocketChipImport	23	23	0	0	0	2025-02-19
iscas-versys/riscv-boom-difftest	18	18	0	0	0	2025-05-23
iscas-versys/riscv-boom-sim	15	15	0	0	0	2025-05-23
SeddonShen/chisel-formal-verification	11	11	0	0	0	2024-07-02
YosysHQ/sby	10	0	1	4	5	2025-03-18
cmd2001/build-edk2-gvtd	9	0	0	1	8	2023-12-19
SeddonShen/ChatGPT-Next-Web	9	3	6	0	0	2024-10-10
SeddonShen/rocket-chip	8	8	0	0	0	2025-03-09
SeddonShen/NWPU_Latex_Template	8	7	0	0	1	2025-02-17
SeddonShen/symex_processor_verification	8	8	0	0	0	2024-08-27
SeddonShen/riscv-spec-core	7	5	2	0	0	2024-04-26
iscas-versys/rocket-chip	7	7	0	0	0	2026-02-24
SeddonShen/SpecCore_AXI	7	7	0	0	0	2023-10-21
OSCPU/NutShell	7	0	0	4	3	2025-04-18
iscas-versys/riscv-formal	7	7	0	0	0	2025-06-01
SeddonShen/ISSPA_Studio	6	6	0	0	0	2025-01-05
YosysHQ/riscv-formal	5	0	0	2	3	2025-03-07
gipsyh/rIC3	4	0	0	2	2	2025-03-13
SeddonShen/polymedia-explorer	4	4	0	0	0	2025-10-25
iscas-versys/BMCFuzz	4	4	0	0	0	2025-11-01
SeddonShen/sby	3	3	0	0	0	2025-04-13
iscas-tis/chisel-formal-verification	3	0	1	0	2	2024-07-02
SeddonShen/academicpage	3	3	0	0	0	2025-06-07
Anan1225/incubator-answer-plugins	3	3	0	0	0	2024-09-28
SeddonShen/rIC3-BMC	3	3	0	0	0	2025-03-15
SeddonShen/SeddonShen	3	3	0	0	0	2025-12-14
SeddonShen/SeddonShenBlog.github.io	3	3	0	0	0	2025-11-01
SeddonShen/riscv-boom	2	2	0	0	0	2025-02-19
apache/incubator-answer	2	0	0	1	1	2024-10-12
barryZZJ/ucas_course_to_calendar	2	0	1	0	1	2024-03-04
SeddonShen/incubator-answer	2	2	0	0	0	2024-09-27
iscas-tis/nutshell-fv	2	1	1	0	0	2025-03-01
kubeedge/edgemesh	2	0	0	2	0	2024-08-11
ucb-bar/riscv-mini	2	0	0	2	0	2024-08-19
SeddonShen/incubator-answer-plugins	2	2	0	0	0	2024-09-16
riscv/sail-riscv	2	0	0	2	0	2024-07-01
iscas-tis/ChiRVFormal	2	1	0	0	1	2026-02-03
SeddonShen/difftest	1	1	0	0	0	2025-05-21
ISCAS-modelchecker/modelchecker	1	0	1	0	0	2025-03-18
SeddonShen/slack_plugin_seddon	1	1	0	0	0	2024-09-27
riscv-boom/riscv-boom	1	0	0	0	1	2025-01-08
chipsalliance/rocket-chip	1	0	0	0	1	2024-04-15
WenyanLiu/CCFrank4dblp	1	0	0	1	0	2024-11-13
kubesphere/kubesphere	1	0	0	0	1	2024-03-16
Anan1225/incubator-answer	1	1	0	0	0	2024-09-27

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

Contributor	Shared repos	Repositories in common
Chooaa	9	SeddonShen/sby iscas-versys/rocket-chip iscas-versys/BMCFuzz riscv-boom/riscv-boom+5
liuyic00	5	iscas-tis/riscv-spec-core iscas-tis/ChiRVFormal iscas-tis/nutshell-fv OSCPU/NutShell+1
chenjie35335	4	SeddonShen/nutshell-fv iscas-versys/riscv-boom-difftest iscas-versys/riscv-formal iscas-tis/riscv-spec-core
youzi27	4	ha0lyu/ChipFuzz chipsalliance/rocket-chip OSCPU/NutShell riscv-boom/riscv-boom
Anan1225	3	apache/incubator-answer Anan1225/incubator-answer-plugins Anan1225/incubator-answer
Phantom1003	3	chipsalliance/rocket-chip jordanbaird/Ice riscv-boom/riscv-boom
georgerennie	3	gipsyh/rIC3 YosysHQ/riscv-formal YosysHQ/sby
gipsyh	3	gipsyh/rIC3 SeddonShen/rIC3-BMC YosysHQ/sby
ha0lyu	3	ha0lyu/ChipFuzz chipsalliance/rocket-chip riscv-boom/riscv-boom
90ICEDA	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
ARF1939261764	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
DavidZyy	2	chipsalliance/rocket-chip OSCPU/NutShell
Emin017	2	chipsalliance/rocket-chip ucb-bar/riscv-mini
HakamAtassi	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
HanyJie	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
Jeremy-Jia	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
KatCe	2	riscv/sail-riscv riscv-boom/riscv-boom
Kevin99214	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
KrystalDelusion	2	YosysHQ/riscv-formal YosysHQ/sby
LuLuji04	2	OSCPU/NutShell riscv-boom/riscv-boom
YzhDDDing	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
abejgonzalez	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
aswaterman	2	chipsalliance/rocket-chip riscv/sail-riscv
bantierr	2	chipsalliance/rocket-chip riscv-boom/riscv-boom
cmichon	2	gipsyh/rIC3 YosysHQ/sby

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