GitHub repository: BrendanMesters/Koka-Linter
Description: The code base of my Research Project in my third year of the Computer Science and Engeneering bachelor at the TU Delft. I research the applicability of EHOP (and Koka in specific) for program analysis tools