Τοm Ηennig (@hentom)
github

hentom

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,607,256 (Top 56 %)
  • Followers 6
  • Following 2
  • Registered almost 10 years ago
  • Most used languages
    Java
         66.7 %
    C
         33.3 %
  • Location 🇦🇹 Austria
  • Country Total Rank 4,533
  • Country Ranking
    Java
         586
    C
         610

Top repositories

1

TuringMachine

Simple and inefficient TM simulator.
Java
3
star
2

LOOP-Interpreter

Small and simple C-based LOOP interpreter.
C
1
star
3

RapidHorn

Verification framework for while programs based on constrained horn clauses
Java
1
star