Shangyin Tan's repositories
alpa
Training and serving large-scale neural networks
awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
ConfigV
A tool for automatically verifying configuration files
diablo2_resurrected_filter
diablo2 resurrected loot filter
dspy
DSPy: The framework for programming with foundation models
dspy-docs
Official Documentation for DSPy Library
FuzzFactory
Domain-Specific Fuzzing with Waypoints
google-research
Google Research
ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
mmdetection
OpenMMLab Detection Toolbox and Benchmark
openai_blocksparse
Efficient GPU kernels for block-sparse matrix multiplication and convolution
sai
Staged Abstract Interpreters
sputnik
A library of GPU kernels for sparse matrix operations.
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors