GitHub repository: opencompl/ssa
Primary language: MLIR
Description: A minimal development of SSA theory