shangyint Goto Github PK
Name: Shangyin Tan
Type: User
Company: UC Berkeley
Blog: shangyit.me
Shangyin Tan's Projects
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
diablo2_resurrected_filter
diablo2 resurrected loot filter
directedmut
dspy
DSPy: The framework for programming with foundation models
functionalscalaexpr
fuzzfactory
Domain-Specific Fuzzing with Waypoints
gomoku
A term project for 15-112. Intermediate AI player included!
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, ...
libafl-playground
lms-clean
mmdetection
OpenMMLab Detection Toolbox and Benchmark
openai_blocksparse
Efficient GPU kernels for block-sparse matrix multiplication and convolution
openai_test
particleprediction
sai
Staged Abstract Interpreters
shangyin-tan-resume
spoon
sputnik
A library of GPU kernels for sparse matrix operations.
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sudoku
tensorflow-alpa
textemplate
Tex file template for homework.
tls
exercise for book 'the little schemer'
webappvideo
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.