homotopy-rs
homotopy-rs copied to clipboard
homotopy-io
A Rust/WASM implementation of homotopy.io
In the "Signature" panel, we should be able to insert the signature of a different workspace to our current signature. This is different from the import functionality which replaces the...
We need to be able to create, read, update, delete projects on Firebase storage. They need to be assigned unique IDs and be associated with a given user. This needs...
We need some changes to the data structures in homotopy-web to record whether the project has been saved. This would behave well with respect to "undo/redo" actions. We need to...
We should have some UI to display the list of projects a user has saved in their account. Each card should display title/author/abstract, have controls for whether the project is...
If you have a 2-cell with three inputs and two outputs, we want the distance between the output wires to be minimised:  But if you compose it with identities...
Reidemeister I move (wire needs to be oriented and invertible):  
2D view doesn't distinguish between multiple possible sites to place a generator X in 3D depth. the tooltip when selecting a placement site shows repeat occurrences of X for each...
Related to #550, to be used in conjunction to #553 with invertible generators. The basic idea is we want to render points as boxes with a slanted edge (this is...