liangdzou

Compiler, Formal methods

@TencentBeijing

Pinned Repositories

tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Language:Python11.9k 378 3.4k3.5k
go-ethereum
Go implementation of the Ethereum protocol
Language:Go48k 2.2k 8.2k20.3k
solidity
Solidity, the Smart Contract Programming Language
Language:C++23.6k 730 6.1k5.9k
cuda-samples
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
Language:C0 1 00
isat-dde
Language:C++0 2 00
swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Language:Kotlin0 1 00
triton
Development repository for the Triton language and compiler
Language:C++0 0 00
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Language:Python85.3k 1.8k 47.8k23k
rapidjson
A fast JSON parser/generator for C++ with both SAX/DOM style API
Language:C++14.5k 555 1.6k3.5k
pycall
Pycall: C API for python functions
Language:C1 2 00

liangdzou's Repositories

liangdzou/cuda-samples
Samples for CUDA Developers which demonstrates features in CUDA Toolkit
Language:C0 1 00
liangdzou/isat-dde
Language:C++0 2 00
liangdzou/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
Language:Kotlin0 1 00
liangdzou/triton
Development repository for the Triton language and compiler
Language:C++0 0 00