Shangyint

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

dataalacarte

diablo2_resurrected_filter

diablo2 resurrected loot filter

directedmut

dspy

DSPy: The framework for programming with foundation models

dspy-docs

Official Documentation for DSPy Library

functionalScalaExpr

FuzzFactory

Domain-Specific Fuzzing with Waypoints

google-research

Google Research

gsm8k_cache

human_eval_dspy_cache

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

tls

exercise for book 'the little schemer'

webappvideo