Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

An awesome list of e-graph resources

Automatic verification of LLVM optimizations

Energy Exascale Earth System Model source code. NOTE: use "maint" branches for your work. Head of master is not validated.

Make SSH apps, just like that! 💫

Embedded language for high-performance array computations

common in-memory tensor structure

A compiler for homomorphic encryption

📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

Development repository for the Triton language and compiler

A machine learning compiler for GPUs, CPUs, and ML accelerators

LLM inference in C/C++

Automagically synchronize subtitles with video.

Model Context Protocol Servers

Spegel - Reflect the web through AI

A heterogeneous architecture timing model simulator.

A survey of my favourite free LaTeX fonts

A short guide to LaTeX that avoids legacy cruft.

A launch point for your personal nvim configuration

A curated list of awesome LLVM (including Clang, etc) related resources.

Utility for adding word wise information to non amazon books

Command suggestions, command-not-found and thefuck replacement written in Rust

Pilot course for Robotics 101: Computational Linear Algebra

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

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!