Explore projects

Master Thesis Project

Contains experiments for the out-of-language attribution task

2D delta-f gyrofluid Hasegawa-Wakatani turbulence code

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

R package EWL (explorewinterlightning)

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

Yet another completion tool written in Haskell.

Yet another maximal completion tool written in Haskell.