Mine++'s repositories
klee
KLEE Symbolic Virtual Machine
rake
compiling DSLs to high-level hardware instructions
MPMCQueue
A bounded multi-producer multi-consumer concurrent queue written in C++11
ddia
《Designing Data-Intensive Application》DDIA中文翻译
pg
PostgreSQL notes
memtier_benchmark
NoSQL Redis and Memcache traffic generation and benchmarking tool.
spec
WebAssembly specification, reference interpreter, and test suite.
hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
iree
👻
rust-course
“连续六年成为全世界最受喜爱的语言,无GC也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS未来基石" — 工作之余的第二语言来试试Rust吧。<<Rust语言圣经>>拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,甚至还有JS程序员关注的WASM和Deno等专题。这可能是目前最用心的Rust中文学习教程
conan
Conan - The open-source C/C++ package manager
Cxx_HOPL4_zh
Chinese translation of Bjarne Stroustrup's HOPL4 paper
ppl.nn
A primitive library for neural network
lava
LAVA: Large-scale Automated Vulnerability Addition
nvbench
CUDA Kernel Benchmarking Library
tzer
Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
Tvlist-awesome-m3u-m3u8
直播源相关资源汇总 📺 💯 IPTV、M3U —— 勤洗手、戴口罩,祝愿所有人百毒不侵
cowboy
Small, fast, modern HTTP server for Erlang/OTP.
CompilerGym
A reinforcement learning toolkit for compiler optimizations
BladeDISC
BladeDISC is an end-to-end DynamIc Shape Compiler project for machine learning workloads.
CUDALibrarySamples
CUDA Library Samples
AliOS-Things
AliOS Things latest version: https://github.com/alibaba/AliOS-Things/tree/rel_3.3.0 Please go to https://aliosthings.iot.aliyun.com to get your minimal code.
LLVM_for_cpu0
This is a tutorial to learn LLVM, I realize a backend to compiler machine code for cpu0 which is a simple RISC cpu.
hacker-laws-zh
💻📖对开发人员有用的定律、理论、原则和模式。(Laws, Theories, Principles and Patterns that developers will find useful.)
tiny-cuda-nn
Lightning fast & tiny C++/CUDA neural network framework
postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
GCatch
Statically Detecting Go Concurrency Bugs