Jeroen Ketema (@jeroenk)
github

jeroenk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 10
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    Python
         66.7 %
    Haskell
         33.3 %
  • Location 🇳🇱 Netherlands
  • Country Total Rank 13,709
  • Country Ranking
    Haskell
         264
    Python
         3,243

Top repositories

1

Anagopos3D

Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus
Python
5
star
2

iTRSsImplemented

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

artisanConvert

Convert Artisan UML exports into XMI readable by Papyrus
Python
1
star