A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.

machine-learning deep-learning c99 simd transformer moe avx2 quantization memory-efficient from-scratch systems-programming inference-engine mixture-of-experts zero-dependencies linear-attention cpu-inference llm llm-inference mxfp4 kimi-k3

• Updated Oct 2, 2026
• C

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc) — browse & search it at tpn.github.io/pdfs

computer-science pdf archive papers systems-programming technical-documentation

• Updated Nov 10, 2026
• HTML

Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.

csharp systems-programming

• Updated Jul 6, 2024
• C#

Compiler for the Vale programming language - http://vale.dev/

language programming-language compiler systems-programming vale

• Updated Sep 23, 2026
• Scala

A reference of Windows API function calls, including functions for file operations, process management, memory management, thread management, dynamic-link library (DLL) management, synchronization, interprocess communication, Unicode string manipulation, error handling, Winsock networking operations, and registry operations.

windows reverse-engineering windows-10 cheatsheet syscalls malware-analysis malware-research windows-api systems-programming win32-api windows-internals windows-11

• Updated Oct 4, 2024

A free book about developing secure and robust systems software.

rust security book reliability systems-programming

• Updated Jul 6, 2025
• Rust

A reading path for CPU performance engineering, from one instruction to production inference. Primary sources only, with a runnable benchmark for every section.

performance-engineering arm performance cpu optimization inference simd benchmarks x86 awesome-list low-latency computer-architecture systems-programming edge-ai

• Updated Oct 8, 2026
• Python

CSAPP 中文文档与学习资料：《深入理解计算机系统》第三版全章节 Markdown，含练习题答案、八大实验中文翻译及官方自学实验包，方便在线阅读与离线学习。

markdown chinese csapp computer-architecture systems-programming computer-systems csapp-labs

• Updated Oct 9, 2026
• Python

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

• Updated May 14, 2026
• Rocq Prover

Learn vector search with Rust and DataFusion; the C++/BusTub track is deprecated.

rust tutorial sql course database-systems product-quantization systems-programming apache-arrow hnsw vector-search datafusion vector-database approximate-nearest-neighbor ivfflat sift1m

• Updated Sep 16, 2026
• Rust

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

• Updated May 16, 2021
• Rust

Curated project-based C tutorials for building emulators, kernels, databases, games, compilers, shells, and low-level tools.

c game-development tutorials compilers awesome-list operating-systems systems-programming computer-networking project-based-learning

• Updated May 24, 2026

IL2C - A translator for ECMA-335 CIL/MSIL to C language.

c arduino translator csharp fsharp dotnet transpiler aot msil uefi cil wdm systems-programming intermediate-language ecma335

• Updated Jun 19, 2022
• C#

Companion code for C++ Crash Course.

docker education cmake cplusplus cpp teaching ccc code-examples native-code systems-programming programming-book no-starch-press cpp-crash-course jlospinoso

• Updated Aug 2, 2024
• C++

Mastering Go Second Edition, published by Packt

go golang systems-programming

• Updated Jan 30, 2023
• Go

Cheat sheet for x86-64 Linux systems programming

cheat-sheets unix x86-64 cheatsheet cheatsheets systems-programming cheat-sheet

• Updated Jul 2, 2021
• TeX

Source code for Mastering Go, 3rd edition

go programming-language golang book command-line-tool systems-programming

• Updated May 5, 2025
• Go

A curated suite of AI agent skills for systems and low-level programming with C/C++, Rust, and Zig toolchains, covering compilers, debuggers, profilers, build systems, sanitizers, and binary analysis

rust embedded zig rust-lang compilers low-level-programming systems-programming cross-compilation debuggers build-systems profilers low-level-programming-language ai-agent-skills c-cpp-toolchain

• Updated Jun 27, 2026
• JavaScript

Linux system calls.

linux linux-kernel syscalls systems-programming system-calls

• Updated Nov 18, 2019
• Makefile

A lightweight C++ RDMA library for InfiniBand networks.

networking interface high-performance-computing rdma infiniband network-programming systems-programming mellanox one-sided rdma-tutorial

• Updated May 12, 2022
• C++