Pinned Repositories
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
nbe-at-large
learning of NbE
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/rura
RUst way for Reuse Analysis
SchrodingerZhu/LeanGccBackend
Lean4 backend using `libgccjit`!
SchrodingerZhu/lean-gccjit
libgccjit bindings for Lean4
SchrodingerZhu/wfarc
Wait-Free Weak Reference Counting in Rust
SchrodingerZhu/hashbrown4lean
SchrodingerZhu/area-exam-survey
Reuse Analysis, Review and Rethinking
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/gcc
SchrodingerZhu/HVM
A massively parallel, optimal functional runtime in Rust
SchrodingerZhu/lean-rs
High level Lean 4 FFI for Rust
SchrodingerZhu/lean-sys
Rust bindings for the Lean 4 proof assistant
SchrodingerZhu/lean4
Lean 4 programming language and theorem prover
SchrodingerZhu/nix-stack
SchrodingerZhu/opt-curve
SchrodingerZhu/permanent-rs
Markov chain that estimates permanent of a given n × n matrix with zero-one entries.
SchrodingerZhu/play-vectorized-classification
SchrodingerZhu/SchrodingerZhu
SchrodingerZhu/tidb-engine-ext
A TiKV based `c dynamic library` for extending storage system in TiDB cluster