Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards. - donnemartin/system-design-primer

Curated list of resources on testing distributed systems - asatarin/testing-distributed-systems

mold: A Modern Linker 🦠. Contribute to rui314/mold development by creating an account on GitHub.

Over 700 videos for learning C++ organized by topics: conference talks by world-renowned experts, video tutorials, courses and explanations.

One could say I have a bit of an obsession with build times.
I believe having a “tight feedback loop” is extremely valuable: when I work on a large codebase, I want to be able to make small increme...

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

A library for functional programming in Rust. Contribute to JasonShin/fp-core.rs development by creating an account on GitHub.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source - hmemcpy/milewski-ctfp-pdf

Specification for interoperability of common algebraic structures in JavaScript - fantasyland/fantasy-land

Exploring various transpilers from C to "better C" and how they can help replacing C in existing project.

A concrete use-case of Firecracker with code snippets

A precise specification for "Rust lite / MIR plus" - minirust/minirust

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes - eclipse-omr/omr

Numerical simulation codes are used to predict the weather every day, design aircraft and even understand the intimate laws of physics. In these very complex codes, achieving high performance without introducing bugs is a real challenge... One that has been…