Material for gpu-mode lectures

CUDA Templates for Linear Algebra Subroutines

A fast, clean, responsive Hugo theme.

The world’s fastest framework for building websites.

RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.

LLM inference in C/C++

⛅ The right way to check the weather

Tensor library for machine learning

Improved build system generator for CPython C, C++, Cython and Fortran extensions

Nexa SDK is a comprehensive toolkit for supporting GGML and ONNX models. It supports text generation, image generation, vision-language models (VLM), Audio Language Model, auto-speech-recognition (…

Flash Attention in ~100 lines of CUDA (forward pass only)

Verifying the Rust standard library

Verifying the Rust standard library

Cross-platform asynchronous I/O

Empowering everyone to build reliable and efficient software.

Kani Rust Verifier

The official GitHub page for the survey paper "A Survey of Large Language Models".

A lock-free cuckoo filter implementation

A collection of lock-free data structures written in standard C++11

personal neovim configuration

Automatically Discovering Fast Parallelization Strategies for Distributed Deep Neural Network Training

c++ based web server

“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

C++ Linux WebServer服务器

http request/response parser for c

Ring-Log是一个高效简洁的C++异步日志， 其特点是效率高（每秒支持至少125万+日志写入）、易拓展，尤其适用于频繁写日志的场景

The Git interface you've been missing all your life has finally arrived.

A Python implementation of a Python bytecode runner

Fast C++ logging library.