Jaic1's Stars
ctjhoa/rust-learning
A bunch of links to blog posts, articles, videos, etc for learning Rust
Alinshans/MyTinySTL
Achieve a tiny STL in C++11
pingcap/awesome-database-learning
A list of learning materials to understand databases internals
shadowsocks/shadowsocks-rust
A Rust port of shadowsocks
applenob/Cpp_Primer_Practice
搞定C++:punch:。C++ Primer 中文版第5版学习仓库,包括笔记和课后练习答案。
steshaw/plt
Programming Language Theory λΠ
chipsalliance/rocket-chip
Rocket Chip Generator
darklife/darkriscv
opensouce RISC-V cpu core implemented in Verilog from scratch in one night!
shining1984/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
Wenzel/awesome-virtualization
Collection of resources about Virtualization
ucb-bar/chipyard
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
kaist-cp/cs431
intermezzOS/kernel
A hobby operating system, in Rust
fishinabarrel/linux-kernel-module-rust
Framework for writing Linux kernel modules in safe Rust
vczh/vczh_toys
This repository contains vczh's toys for black magic codes or experiments
ehsanmok/create-your-own-lang-with-rust
Create your own programming language with Rust
rems-project/sail
Sail architecture definition language
douchuan/jvm
JVM in Rust, written as a learning project.
BurtonQin/lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
kaist-cp/cs420
KAIST CS420: Compiler Design (2023 Spring)
coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
cs-au-dk/TIP
Static program analysis for TIP
Nugine/bfjit
Brainfuck JIT 虚拟机教程
schoeberl/chisel-lab
Lab exercises for Chisel in the digital electronics 2 course at DTU
thu-cs-lab/Router-Lab
Lab for Network Principles since 2019-2020 fall
Silverster98/bit_nscscc_suggestion
为了更好地帮助后来的同学参加龙芯杯,草拟了这份建议,望对后来人有所帮助
imtsuki/xv7
🦀️ Operating System in 100% Pure Rust
Jaic1/xv6-riscv-rust
silverbullettt/SICP
My solutions of exercises in SICP.
AlaricGilbert/yuuki-lang
A super light weight language parser that supports generic OOP programming which developed during study compile principle.