Block or report user

Popular repositories

  1. Anagopos3D

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

    Python 5 1

  2. artisanConvert

    Convert Artisan UML exports into XMI readable by Papyrus

    Python 1

  3. sokoban2etf

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

    Python

  4. iTRSsImplemented

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

    Haskell

  5. iTRSsVisualised

    Visualise infinite reductions up to length ω

    Haskell

  6. llvm2kittel

    Forked from s-falke/llvm2kittel

    llvm2KITTeL

    C++

10 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

September 2017

Seeing something unexpected? Take a look at the GitHub profile guide.