jeroenk

Private account. Work account @jketema

Pinned Repositories

boogie
Boogie
Language:Boogie499 30 269108
Anagopos3D
Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus
Language:Python5 2 01
artisanConvert
Convert Artisan UML exports into XMI readable by Papyrus
Language:Python10
bugle
An LLVM Bitcode to Boogie translator
Language:C++00
gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#00
iTRSsImplemented
Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell
Language:Haskell1 2 00
iTRSsVisualised
Visualise infinite reductions up to length ω
Language:Haskell0 2 00
llvm2kittel
llvm2KITTeL
Language:C++00
sokoban2etf
Translate Sokoban puzzles in xsokoban format into the etf format of LTSmin
Language:Python00
souper
A superoptimizer for LLVM IR
Language:C++00

jeroenk's Repositories

jeroenk/Anagopos3D
Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus
Language:Python5 2 01
jeroenk/artisanConvert
Convert Artisan UML exports into XMI readable by Papyrus
Language:Python10
jeroenk/iTRSsImplemented
Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell
Language:Haskell1 2 00
jeroenk/bugle
An LLVM Bitcode to Boogie translator
Language:C++00
jeroenk/gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#00
jeroenk/iTRSsVisualised
Visualise infinite reductions up to length ω
Language:Haskell0 2 00
jeroenk/llvm2kittel
llvm2KITTeL
Language:C++00
jeroenk/sokoban2etf
Translate Sokoban puzzles in xsokoban format into the etf format of LTSmin
Language:Python00
jeroenk/souper
A superoptimizer for LLVM IR
Language:C++00