Pinned Repositories
sai
Staged Abstract Interpreters
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.
ballCollisionSimulator
ConfigV
A tool for automatically verifying configuration files
dataalacarte
Gomoku
A term project for 15-112. Intermediate AI player included!
dspy
DSPy: The framework for programming—not prompting—foundation models
Shangyint's Repositories
Shangyint/alpa
Training and serving large-scale neural networks
Shangyint/awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
Shangyint/ConfigV
A tool for automatically verifying configuration files
Shangyint/dataalacarte
Shangyint/diablo2_resurrected_filter
diablo2 resurrected loot filter
Shangyint/directedmut
Shangyint/dspy
DSPy: The framework for programming with foundation models
Shangyint/dspy-docs
Official Documentation for DSPy Library
Shangyint/functionalScalaExpr
Shangyint/FuzzFactory
Domain-Specific Fuzzing with Waypoints
Shangyint/google-research
Google Research
Shangyint/gsm8k_cache
Shangyint/human_eval_dspy_cache
Shangyint/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
Shangyint/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Shangyint/libafl-playground
Shangyint/lms-clean
Shangyint/mmdetection
OpenMMLab Detection Toolbox and Benchmark
Shangyint/openai_blocksparse
Efficient GPU kernels for block-sparse matrix multiplication and convolution
Shangyint/openai_test
Shangyint/ParticlePrediction
Shangyint/sai
Staged Abstract Interpreters
Shangyint/Shangyin-Tan-Resume
Shangyint/spoon
Shangyint/sputnik
A library of GPU kernels for sparse matrix operations.
Shangyint/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Shangyint/sudoku
Shangyint/tensorflow-alpa
Shangyint/tls
exercise for book 'the little schemer'
Shangyint/webappvideo