An attempt to understand locking in MySQL's InnoDB engine

A Python library for simulating finite automata, pushdown automata, and Turing machines

D-ary heap and updatable priority queue in C++.

A very Beautiful LaTeX Book Template, Happy LaTeXing!

The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.

Proxy: Next Generation Polymorphism in C++

Lightning-fast and Powerful Code Editor written in Rust

An open-source C++ library developed and used at Facebook.

Abseil Common Libraries (C++)

中国程序员容易发音错误的单词

Syntax highlighting for Cmake in Visual Studio Code

Style guides for Google-originated open-source projects

Official Git mirror of the SQLite source tree

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

LLCM/CLANG API usage fot latest version

⚙️ Browser devtools extension for debugging Vue.js applications.

A Python Interpreter written in Rust

A post-modern modal text editor.

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

FastAPI framework, high performance, easy to learn, fast to code, ready for production

A collection of out-of-tree LLVM passes for teaching and learning

This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in the tutorial.

Emscripten SDK

Cybernetically enhanced web apps

A LLVM-based static analysis framework.

The Z3 Theorem Prover

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

The library for web and native user interfaces.

Set up a modern web app by running one command.

程序语言与编译技术相关资料（持续更新中）