Giters
Jeroen Ketema (jeroenk)

jeroenk

Geek Repo

10

followers

1

following

15

stars

Github PK Tool:Github PK Tool

Jeroen Ketema's repositories

Anagopos3D

Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus

Language:PythonLicense:GPL-3.0Stargazers:5Issues:0Issues:0

artisanConvert

Convert Artisan UML exports into XMI readable by Papyrus

Language:PythonLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

iTRSsImplemented

Infinitary term rewriting implemented: Computing with infinite terms and infinite reductions in Haskell

Language:HaskellLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

bugle

An LLVM Bitcode to Boogie translator

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

gpuverify

GPUVerify: a Verifier for GPU Kernels

Language:C#License:MS-PLStargazers:0Issues:0Issues:0

iTRSsVisualised

Visualise infinite reductions up to length ω

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

llvm2kittel

llvm2KITTeL

Language:C++License:NCSAStargazers:0Issues:0Issues:0

sokoban2etf

Translate Sokoban puzzles in xsokoban format into the etf format of LTSmin

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

souper

A superoptimizer for LLVM IR

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0