hengruo

San Jose, CA, USA

Pinned Repositories

heliumsea.github.io
0 1 10
hengruo.github.io
Language:HTML0 1 00
LoRDeckCodes
Language:C++0 1 00
QANet-pytorch
A PyTorch implementation of QANet.
Language:Python345 14 1267
RNet-pytorch
R-Net with PyTorch
Language:Python24 4 38
RuneSim
A simulator of Legends of Runeterra
Language:C++6 1 02
smt4coq
Language:OCaml2 1 00
Mathics
This repository is for archival. Please see https://github.com/Mathics3/mathics-core
Language:Python2.1k 68 501205
TypeAndProof
https://openpal.github.io/TypeAndProof/
Language:TeX102 21 38

hengruo's Repositories

hengruo/QANet-pytorch
A PyTorch implementation of QANet.
Language:Python345 14 1267
hengruo/RNet-pytorch
R-Net with PyTorch
Language:Python24 4 38
hengruo/RuneSim
A simulator of Legends of Runeterra
Language:C++6 1 02
hengruo/smt4coq
Language:OCaml2 1 00
hengruo/heliumsea.github.io
0 1 10
hengruo/hengruo.github.io
Language:HTML0 1 00
hengruo/LoRDeckCodes
Language:C++0 1 00