JumpMasterJJ

nop

Pinned Repositories

honor-upgrade
Language:HTML10
linear-type
Toy langauge that implements linear-type-system, which based on the infra of STLC in TAPL.
Language:OCaml00
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM0 0 00
sfilter-1
内核过滤器
Language:C00
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM28.6k 585 77k11.8k

JumpMasterJJ's Repositories

JumpMasterJJ/linear-type
Toy langauge that implements linear-type-system, which based on the infra of STLC in TAPL.
Language:OCaml00
JumpMasterJJ/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM0 0 00
JumpMasterJJ/sfilter-1
内核过滤器
Language:C00