Pinned Repositories
compiler_lab
Some toy labs for compiler course
CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计
dbi
Author is duckbill
Design-Verification-Examples
documentation
The official documentation for Raspberry Pi computers and microcontrollers
EECS-470-FinalProject
A 2-Way Super-Scalar OoO RISC-V Core Based on Intel P6 Microarchitecture.
EECS570-HW2-MOESI
Five-state 3-hop MOESI Cache Coherence Protocol Implemented in Murphi
EECS582-Project
EECS583-HW2-FPLICM
Frequent Path LICM
wshenyi.github.io
Some blogs written by wsy
wshenyi's Repositories
wshenyi/EECS-470-FinalProject
A 2-Way Super-Scalar OoO RISC-V Core Based on Intel P6 Microarchitecture.
wshenyi/EECS570-HW2-MOESI
Five-state 3-hop MOESI Cache Coherence Protocol Implemented in Murphi
wshenyi/compiler_lab
Some toy labs for compiler course
wshenyi/CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计
wshenyi/dbi
Author is duckbill
wshenyi/Design-Verification-Examples
wshenyi/documentation
The official documentation for Raspberry Pi computers and microcontrollers
wshenyi/EECS582-Project
wshenyi/EECS583-Final
wshenyi/EECS583-HW2-FPLICM
Frequent Path LICM
wshenyi/wshenyi.github.io
Some blogs written by wsy
wshenyi/fusee-interfacee-tk
wshenyi/LeFlow
Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks
wshenyi/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
wshenyi/ocelot
A synthesis-enabled solver for relational logic
wshenyi/opencl-racket
FFI for OpenCL
wshenyi/PeachOS
wshenyi/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
wshenyi/rust-based-os
[2022开源操作系统训练营](https://learningos.github.io/rust-based-os-comp2022/)
wshenyi/rustlings-exercise
wshenyi/rustlings-solutions
wshenyi/seL4
The seL4 microkernel
wshenyi/ShadowsocksBio
别人写的SS的前世今生，fork过来用作收藏
wshenyi/SM-Centric-Transformation
A Clang tool that transforms any CUDA code to the SM-Centric form
wshenyi/terminus
A riscv isa simulator in rust.