Stars
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.
A Simple showcase for the Sea-of-Nodes compiler IR
Master programming by recreating your favorite technologies from scratch.
A retargetable MLIR-based machine learning compiler and runtime toolkit.
High performance, concurrent functional programming abstractions
Demonstration of various hardware effects.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally im…
A book-in-progress about the Linux kernel and its insides.
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
A comprehensive reference for all topics related to becoming a great Engineering Manager
Software Foundations in Idris
A categorical programming language with effects
x86 and amd64 instruction reference manual pages
Tutorials and programming exercises for learning Q# and quantum computing
A Comprehensive Roadmap to Mathematics
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …