This repository holds some of the documents for my Google Summer of Code 2022 project. The actual source code for the project lives in JuliaPluto/Malt.jl.