• 1
• 0
• 0

xuezheng/godot-dice-roller

• 1
• 0
• 0

xuezheng/sidc-picker

• 1
• 0
• 2

xuezheng/dgx-spark-workplace

• 1
• 0
• 0

xuezheng/behavior3editor

• 1
• 0
• 0

xuezheng/mhh

• 1
• 0
• 0

xuezheng/spark-vllm-docker

• 1
• 0
• 0

xuezheng/claude-plugins-official

• 1
• 0
• 0

xuezheng/Gizmo3D

• 1
• 0
• 0

xuezheng/multi-agent-planning

• 1
• 0
• 1

xuezheng/llama.cpp

• 1
• 0
• 1

xuezheng/binsim

binary similarity

• 2
• 0
• 0

xuezheng/scpl_proof

Proof of SC Per Location in RVWMO

• 1
• 0
• 1

xuezheng/gem5

• 1
• 0
• 3

xuezheng/riscv-shared-memory-sgd

A C++ framework for implementing shared-memory parallel SGD for Deep Neural Network training. We ported it to RISC-V. Original Repo: https://github.com/dcs-chalmers/shared-memory-sgd

• 1
• 0
• 0

xuezheng/rubyphi

• 1
• 0
• 1

xuezheng/Murphi

Murphi model checking tool (3.1)

• 1
• 0
• 0

xuezheng/Eddy_Murphi

Eddy_Murphi Release 3.2.4 Finite-state Concurrent System Verifier.

• 1
• 0
• 0

xuezheng/Dat3M

• 1
• 0
• 0

xuezheng/proj105-auto-tune-for-compiler

• 1
• 0
• 0

xuezheng/VGG16-Pretrained-C