Multi-platform high-performance compute language extension for Rust.

A lightweight library for portable low-level GPU computation using WebGPU.

BitBLAS is a library to support mixed-precision matrix multiplications, especially for quantized LLM deployment.

Attention in SRAM on Tenstorrent Grayskull 🤘

A retargetable MLIR-based machine learning compiler and runtime toolkit.

A C++ standalone library for machine learning

A tiny deep learning library written in Java

A language model programming library.

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

The Tensor (or Array)

A Julia API for hwloc

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Tenstorrent MLIR compiler

RISC-V Assembly Programmer's Manual

RISC-V Instruction Set Manual

The Multilayer Perceptron Language Model

The Autograd Engine

Truly independent web browser

NVIDIA Math Libraries for the Python Ecosystem

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.

A formalized proof of Carleson's theorem in Lean

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

This is a Phi-3 book for getting started with Phi-3. Phi-3, a family of open sourced AI models developed by Microsoft. Phi-3 models are the most capable and cost-effective small language models (SL…

Lean 4 programming language and theorem prover

plasTeX plugin to build formalization blueprints.

The math library of Lean 4

LLMs as Copilots for Theorem Proving in Lean

LLM101n: Let's build a Storyteller