felixwiemuth / JIAL

A compiler and static termination analysis for the Java input-action language developed in my Master's thesis.

Geek Repo

Github PK Tool