Skip to content
View SeddonShen's full-sized avatar
🎯
Focusing
🎯
Focusing
81 followers · 157 following
  • Homedwen University (ISCAS & UCAS)
  • Beijing

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Block or report SeddonShen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SeddonShen/README.md

Pinned Loading

  1. iscas-tis/nutshell-fv iscas-tis/nutshell-fv Public

    Forked from OSCPU/NutShell

    Formal verification on NutShell using riscv-spec-core

    Scala 7 4

  2. iscas-tis/ChiRVFormal iscas-tis/ChiRVFormal Public

    Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.

    Scala 20 10

  3. gilgamsh/GenshinCPU gilgamsh/GenshinCPU Public

    Our repository for NSCSCC

    SystemVerilog 21

  4. NPU-SQL-OJ/npu-sql-oj-django NPU-SQL-OJ/npu-sql-oj-django Public

    Online-Judge Platform for NWPU DataBase Course. Originates from an archived repo: https://github.com/Steve-Xyh/SQL_memOJi

    JavaScript 3

  5. iscas-versys/BMCFuzz iscas-versys/BMCFuzz Public

    Python 23 4

  6. NWPU_Latex_Template NWPU_Latex_Template Public

    Latex Template for Northwestern Polytechnical University(NWPU) Report

    TeX 17