Lists (16)
Sort Name ascending (A-Z)
Awesome Distributed System
Some awesome distributed system.Awesome Verification
Some system verification.Computer Architecture
Computer Architecture.Excellent network stack
Some traditional network stack.Excellent OS Kernels
Some excellent OS kernelsFPGA
Anything about FPGA: FPGA accelerator for CNN, FPGA smartNIC, etc.High Level Synthesis
Some work related to high level synthesis.Machine Learning
Machine learning.MLSys: communication
Some Machine Learning System related to networking and efficient communication.MLSys: compiler-based
Some Machine learning system related to compiler optimizations.MLSys: HPC
Some Machine Learning System related to High-Performance Computing and Heterogeneous Computing.Next-Generation OS Kernels
Next-generation OS Kernels.OS over New Hardware
OS kernel with/for/over New Hardware like FPGA, TEE, etc.Parallel Computing
Some parellel computing repos, including SIMD, CUDA, OpenMP, etc.Traditional Database
Some standalone database.Utilities
Some useful tools like build tools, type checker, static analyzer, unit testing framework, etc.Stars
- All languages
- Agda
- Assembly
- Batchfile
- Bicep
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Dockerfile
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Linear Programming
- Lua
- MLIR
- Makefile
- Markdown
- Mathematica
- OCaml
- P4
- PLpgSQL
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Vim Script
- Vue
- Zig
Paper list for accleration of transformers
Symbolic execution of LLVM IR with an engine written in Rust
Assignment of Advanced Compiler Principle course taught by Lian Li, ICT, CAS.
An awesome list of papers on privacy attacks against machine learning
DBA: Distributed Backdoor Attacks against Federated Learning (ICLR 2020)
Everything about note management. All in Zotero.
Paper Reading/ Project for Advanced Distributed System @ShanghaiTech
梦弘浏览器 自主研发版本 - 完全自主研发,打破国外垄断,比 Chrome 快 600%。缺少上网功能。
Code for experiments regarding importance sampling for training neural networks
Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo
First Challenge & Tutorial for HPC Student Cluster Competition Beginner
Using Low-rank adaptation to quickly fine-tune diffusion models.
TrojanZoo provides a universal pytorch platform to conduct security researches (especially backdoor attacks/defenses) of image classification in deep learning.
Offsite-Tuning: Transfer Learning without Full Model
A general and accurate MACs / FLOPs profiler for PyTorch models
Zero-copy MPI communication of JAX arrays, for turbo-charged HPC applications in Python ⚡
This is the repository for the collection of Graph Neural Network for Traffic Forecasting.
ChatGPT for wechat https://github.com/AutumnWhj/ChatGPT-wechat-bot