homotopy-rs
homotopy-rs copied to clipboard
A Rust/WASM implementation of homotopy.io
After the move to deferred shading, I'm seeing some visual issues with the lisp on Safari, as well as really slow performance. [lips_2.hom.zip](https://github.com/homotopy-io/homotopy-rs/files/7898680/lips_2.hom.zip) This doesn't seem to be a problem...
it is difficult to bring several generators to the same slice, even when legal. doing so by hand leaves unnecessary artefacts in the proof that are difficult to remove. as...
Could we render 3D diagrams as animated 2D diagrams using SVG? SVG supports animations but I'm not sure how easy it would be to convert our geometry into SVG animations....
It would be great to be able to create movies within the browser, for example as a way to export surface diagram animations. I wonder if this is feasible. This...
Now that we have anticontraction, I think it would be nice to have an action that does a contraction followed by the "inverse" expansion/anticontraction. Perhaps this could be triggered by...
The 3d models are not antialiased, I wonder how easy it would be to add this.
Currently, we iterate over all possible embeddings and filter the ones that contain the selected point. We should do something more sophisticated.
Not sure how this would work exactly, but maybe we could have a rewrite which instead of going from diagram A to diagram B, goes from the A quotiented by...
When making changes in development, the website conveniently refreshes with the updated version. In this process the current state is lost. It would be a boon for productivity if the...