TLA+ language support for Visual Studio Code

Migrate C code to Rust

Clippings

Clippings

Test and benchmark suite for sort implementations.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A curated list of awesome deterministic simulation testing resources 😎

dthreads: Efficient Deterministic Multithreading

A Promela model of Piko/RT under the Spin model checker.

A PROMELA model for FreeRTOS

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Learn TLA+ for free! No prior experience necessary!

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

A collection of TLA⁺ specifications of varying complexities.

A deterministic, fuzzable pthread implementation

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

📦 Prebuilt RISC-V GCC toolchains for x64 Linux.

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

Useful CMake Examples

a lightweight library to parse Linux's /proc/[pid]/maps file, which contains the memory map of a process

A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT

Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.

Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"

A dbg(…) macro for C++

A new (MLIR based) high-level IR for clang.

Source code for Russian translation of SICP

ELFIO is a header-only C++ library for reading and generating ELF (Executable and Linkable Format) files.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.