andryej's Stars
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A collection of TLA⁺ specifications of varying complexities