sjxer723's Stars
torvalds/linux
Linux kernel source tree
rust-lang/rust
Empowering everyone to build reliable and efficient software.
chrislgarry/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
XINCGer/Unity3DTraining
【Unity杂货铺】unity大杂烩~
Keldos-Li/typora-latex-theme
将Typora伪装成LaTeX的中文样式主题,本科生轻量级课程论文撰写的好帮手。This is a theme disguising Typora into Chinese LaTeX style.
rust-lang/miri
An interpreter for Rust's mid-level intermediate representation
conanhujinming/tips_for_interview
我的一些面试心得;自学CS历程分享;找工作求职经验分享
ekzhang/rustpad
Efficient and minimal collaborative code editor, self-hosted, no database required
rustviz/rustviz
Interactively Visualizing Ownership and Borrowing for Rust
karlkurzer/path_planner
Hybrid A* Path Planner for the KTH Research Concept Vehicle
arkhipenko/TaskScheduler
Cooperative multitasking for Arduino, ESPx, STM32, nRF and other microcontrollers
SmallPond/MIT6.828_OS
MIT 6.828 Operating System Lab https://pdos.csail.mit.edu/6.828/2018/schedule.html
qntm/hatetris
Tetris which always gives you the worst piece
rust-lang/datafrog
A lightweight Datalog engine in Rust
teddyluo/hybrid-a-star-annotation
Hybrid A*路径规划器的代码注释
prakhar1989/type-inference
The Hindley Milner Type Inference Algorithm
dwrensha/seer
symbolic execution engine for Rust
davidmalcolm/antipatterns.ko
The world's worst kernel module
HMUniversity/About
About Home University | 关于家里蹲大学
axiomhq/rust-cuckoofilter
Cuckoo Filter: Practically Better Than Bloom (In Rust)
sosy-lab/sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
rust-lang/rust-memory-model
Collecting examples and information to help design a memory model for Rust.
brucechin/paper
paper collections in database/distributed system/operating system/crypto/arch/security&privacy
LogCreative/SJTUBeamermin
上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集
vustac/dse
A dynamic symbolic execution engine for Java
zqy1018/project_EI332
Implementations of labs & quizzes in EI332, SJTU, 2020 Spring
luoshuqing2001/BPNN
分别利用RMSProp和Momentum优化算法构造BP神经网络,实现对Iris数据集的分类
Galaxies99/SVHN-playground
An Exploration of Machine Learning Methods on SVHN Dataset
ecstatic-morse/rust
A safe, concurrent, practical language.