Explore projects

Yet another LPO/KBO-based termination tool written in Haskell.

Yet another maximal completion tool written in Haskell.

Yet another completion tool written in Haskell.

Simple analysis of time of flight traces

Contains experiments for the out-of-language attribution task