victoryang00/Movable-stdlib victoryang00/Movable-stdlib

  • Stars
    star
    1
  • Language
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
victoryang00/Movable-stdlib
github

victoryang00

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The repo to store the spec that in Move Language of Diem

More Repositories

1

computer-architecture-revisit-a-quantitative-approach

This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine grained scheduling, map back to compiler, cross platform live migration and won't talk anything David Patterson's own work like RVV, TPU and deprecated X86
24
star
2

A16-microbenchmark

A repo to store what M1 explainer does and ~Armv9~ Armv8.6 ISA on A16
C++
17
star
3

CS131-discussion

The discussion for the CS131
TeX
10
star
4

node-limit-ebpf

Use eBPF to limit the node rss by hooking policy_node
C
9
star
5

wiki

A place to store my knowledge base
Python
7
star
6

CS225-Distributed-System-Paper-Reading

Paper Reading/ Project for Advanced Distributed System @ShanghaiTech
TeX
6
star
7

Delight

Implement all the function in Hacker's Delight and make them runnable in ckb_vm.
Rust
6
star
8

CSE210-Programming-Language

Coq
6
star
9

distributed_kuco_fs

A implementation of kuco FS
Rust
6
star
10

EatSanpai-wasm

A game for training Ryan to be a great C++ coder.
C++
5
star
11

CSE220-Paper-Reading

The Paper reading for the Advanced Computer Architecture
TeX
4
star
12

google-layoff-prediction

Google Layoff Prediction Using Meta Dataset 2022
Python
4
star
13

CS224-Program-Analysis-Paper-Reading

Paper Reading and Project in Program Analysis @ShanghaiTech
TeX
4
star
14

spp-test

Intel Sub Page Write Protection test
CMake
3
star
15

bravo-rwlock-rs

yet another read write lock.
Rust
3
star
16

building-block-wasm

For frontend my homepage
Rust
3
star
17

m3-chip-explainer

A re pipeline referred to m1-chip-explainer
Assembly
3
star
18

bpftrace

C++
3
star
19

alderlake-llc-slice-latency-test

Alder lake E/P core C2C cache test.
Rust
3
star
20

ior-playground

A rust binding for debugging
Rust
2
star
21

test_fp8_on_4090

Cuda
2
star
22

CSE211-homework

HTML
2
star
23

cxl_mem_driver

针对在gem5中模拟cxl type3设备的驱动/Driver for cxl type3 device in gem5
C
2
star
24

CS224-Soot-Programming-Assignment

Program for CS244 Soot Programming Assignment
Java
2
star
25

CuckooHashing

The lab done in CS120.
Cuda
2
star
26

mojo-test

Assembly
2
star
27

move-fmt

A replacer to the move formatter.
Rust
2
star
28

MATH1224-Solution

Abstract Math solution
2
star
29

victoryang00

A special repository to store my info
2
star
30

CS110-Lab

This Is the repo for Shanghaitech, SIST CA lab together with zhanglw
Java
1
star
31

vkfft_ExecZ2Z

A in-place substitution of cuFFT in QE
Cuda
1
star
32

resume

A repo to store my resume
TeX
1
star
33

windows-llvm-cmake

CMake
1
star
34

sbi_pmu_test

A test repo for rustsbi pmu
Rust
1
star
35

KMeans

Some code in AVX2 and naïve threading.
C++
1
star
36

lottery-schedule-rs

Rust implementation of https://www.pdl.cmu.edu/PDL-FTP/Scheduling/lottery.pdf
Rust
1
star
37

victoryang00.github.io

Redirect to main page
CSS
1
star
38

CorundumAllocator

Rust
1
star
39

CSE201-Algorithm-Solution

TeX
1
star
40

sprtop

Get the core topology of SPR
C++
1
star
41

Pmemable

A repository to modify the linux of bdi part being aware of data located on PMEM
C
1
star