Algebras for weighted search (ICFP 2021) and related stuff - View it on GitHub