Pinned Repositories
mlir-gccjit
MLIR dialect for libgccjit
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
tiflash
The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial
rowscript
RowScript programming language, making a better browser world
bench_suite
memcpy-amd64
An implementation of memcpy for amd64 with clang/gcc
paguroidea
A reimplementation of the Flap parser in Rust (with our own modifications applied)!
snmalloc-rs
rust bindings of snmalloc
tabbycat
dotgraph generator for rust
VNMCC
Very Naive MIPS CPU using Clash
SchrodingerZhu's Repositories
SchrodingerZhu/snmalloc-rs
rust bindings of snmalloc
SchrodingerZhu/paguroidea
A reimplementation of the Flap parser in Rust (with our own modifications applied)!
SchrodingerZhu/ReuseIR
Reuse Analysis in MLIR and Rust. Functional programming meets performance.
SchrodingerZhu/rura
RUst way for Reuse Analysis
SchrodingerZhu/LeanGccBackend
Lean4 backend using `libgccjit`!
SchrodingerZhu/wfarc
Wait-Free Weak Reference Counting in Rust
SchrodingerZhu/area-exam-survey
Reuse Analysis, Review and Rethinking
SchrodingerZhu/lambda-lock
SchrodingerZhu/lean-hovercraft
floating point writers and readers
SchrodingerZhu/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
SchrodingerZhu/loom4c
locksmith's playground
SchrodingerZhu/pag-final-evaluation-cc24
More evaluations for "Paguroidea: Fused Parser Generator with Transparent Semantic Actions" (To be presented at CC'24)
SchrodingerZhu/reuse-ir
SchrodingerZhu/aHash
aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
SchrodingerZhu/AMDMIGraphX
AMD's graph optimization engine.
SchrodingerZhu/ananicy-rules
ananicy-cpp-rules for CachyOS
SchrodingerZhu/cachyos-hooks
SchrodingerZhu/captions
transcripts and captions for 3blue1brown videos
SchrodingerZhu/clangir
A new (MLIR based) high-level IR for clang.
SchrodingerZhu/ddnet-libs
Precompiled libraries and headers of the dependencies of DDNet
SchrodingerZhu/gcc
SchrodingerZhu/HVM
A massively parallel, optimal functional runtime in Rust
SchrodingerZhu/lean4
Lean 4 programming language and theorem prover
SchrodingerZhu/opt-curve
SchrodingerZhu/permanent-rs
Markov chain that estimates permanent of a given n × n matrix with zero-one entries.
SchrodingerZhu/qsort-driftsort
`qsort` implementation backed by `driftsort` (for upstreaming into llvm-libc).
SchrodingerZhu/rust-linux-llvm
Rust LLVM libc targets
SchrodingerZhu/SchrodingerZhu
SchrodingerZhu/SLAP
Static Locality Analysis and Prediction
SchrodingerZhu/snmalloc
Message passing based allocator