Explore projects

Yet another completion tool written in Haskell.

Bamlss families for modelling multivariate Gaussian distributions with Cholesky decomposition of the covariance matrix.

Yet another maximal completion tool written in Haskell.

R package EWL (explorewinterlightning)

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

Contains experiments for the out-of-language attribution task

Master Thesis Project

Migrated to https://github.com/W4RH4WK/crap