jeroenk/souper
A superoptimizer for LLVM IR
Developer Profile
jeroenk
Discovered public repositories for jeroenk in the GitHub catalog.
jeroenk/llvm2kittel
llvm2KITTeL
jeroenk/iTRSsVisualised
Visualise infinite reductions up to length ω
jeroenk/artisanConvert
Convert Artisan UML exports into XMI readable by Papyrus
jeroenk/iTRSsImplemented
Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell
jeroenk/sokoban2etf
Translate Sokoban puzzles in xsokoban format into the etf format of LTSmin
jeroenk/Anagopos3D
Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus