jeroenk/souper
A superoptimizer for LLVM IR
Convert Artisan UML exports into XMI readable by Papyrus
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A superoptimizer for LLVM IR
llvm2KITTeL
Visualise infinite reductions up to length ω
Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell