-
ic-verify Public
Tutorial on Getting Started with Digital Chips Verification.
-
-
ShanghaiTech-YSYX Public
Unofficial guide for ysyx students applying to ShanghaiTech University
-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedJun 27, 2024 -
jyy-os Public
Record of studying the 2024 Spring Operating Systems course
Batchfile UpdatedJun 16, 2024 -
-
OS-Course-Lab Public
Forked from SJTU-IPADS/OS-Course-Lab本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。每个实验放在独立分支。
Mulan Permissive Software License, Version 2 UpdatedMay 1, 2024 -
riscv-mini Public
Forked from ucb-bar/riscv-miniSimple RISC-V 3-stage Pipeline in Chisel
Scala Other UpdatedApr 26, 2024 -
rocket-chip Public
Forked from chipsalliance/rocket-chipRocket Chip Generator
Scala Other UpdatedMar 21, 2024 -
riscv-boom Public
Forked from riscv-boom/riscv-boomSonicBOOM: The Berkeley Out-of-Order Machine
Scala BSD 3-Clause "New" or "Revised" License UpdatedMar 18, 2024 -
nutshell Public
Forked from OSCPU/NutShellRISC-V SoC designed by students in UCAS
Scala Other UpdatedMar 12, 2024 -
nanhu-v3 Public
Forked from Siudya/NanhuXiangshan Open-source high-performance RISC-V processor
Scala Mulan Permissive Software License, Version 2 UpdatedMar 5, 2024 -
-
-
NyuziProcessor Public
Forked from jbush001/NyuziProcessorGPGPU microprocessor architecture
C Apache License 2.0 UpdatedSep 11, 2022 -
ChCore Public
Forked from WilliamX1/ChCoreSJTU 2022 Spring, SE315, Chcore Lab
C Other UpdatedJun 7, 2022 -
Penglai-Enclave Public
Forked from Penglai-Enclave/Penglai-EnclaveThis is the main repo for Penglai.
Other UpdatedOct 19, 2021 -
fcitx-dracula Public
Forked from brandoncardoso/fcitx-draculaFcitx Dracula theme/skin.
UpdatedMay 4, 2021 -
ostep-translations Public
Forked from remzi-arpacidusseau/ostep-translationsVarious translations of OSTEP can be found here. Help the cause and contribute!
UpdatedJun 3, 2019