Since we migrated from the Haskell runtime (what's in master now) to a React + Typescript runtime that's part of the frontend (what's in web-runtime now), a lot of the example domains we implemented for the paper need to be ported to the new runtime.

This is high-priority for us since it will enable us to test that the new runtime is at parity, and start creating a testbed of examples for improving the solvers.

It is also a good way to get familiar with the system, since it involves adding code at all layers (Substance, Style, Domain, objectives/constraints/functions) and there is already a reference implementation in Haskell that you can read/run.

Domains that need to be ported are:

• Sets (partially done)
• Vectors
• Functions
• Geometry (euclidean, spherical, and hyperbolic)
• Meshes
• Raytracing

I'll be working on some of it, and whoever is interested can pick a domain or a few examples from the domain and start porting them.

The full list of examples in the paper, most of which need to be ported, is here, and the examples that have already been ported to web-runtime are here. Please refer to the paper for images.

Code for the various domains can be found in the examples folder here.