Math & CS Awesome List, distinguished by proof and logic and technique

The best ChatGPT that $100 can buy.

Machine learning compiler based on MLIR for Sophgo TPU.

DeepConf: Deep Think with Confidence

Anki add-on to help you keep track of your review activity

Some Hardware Architectures for GEMM

NetHack汉化

NetHack 安卓汉化版源代码

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

上海交通大学课程资料分享

Python tool for converting files and office documents to Markdown.

An energy-efficient RISC-V floating-point compute cluster.

SGLang is a fast serving framework for large language models and vision language models.

The app includes a Host-Based Card Emulated (HCE) NFC tag and the associated NFC reader. You learn how to setup your own HCE application and how you can communicate with the HCE tag. A tutorial is …

AndroidNFC任意模拟卡工具（HCE）

💫 Toolkit to help you get started with Spec-Driven Development

CUDA Templates and Python DSLs for High-Performance Linear Algebra

CoolPotOS for ia32 / amd64

Official repository for Pathos content and modules

The Tensor Algebra SuperOptimizer for Deep Learning

Purely functional artificial neural network library implemented in Haskell.

《Machine Learning Systems: Design and Implementation》- Chinese Version

A textbook on informal homotopy type theory

A Coq library for Homotopy Type Theory

egraphs + datalog!

Deep learning at the speed of light.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more