homotopy-rs
homotopy-rs copied to clipboard
homotopy-io
A Rust/WASM implementation of homotopy.io
As seen in #927, it is possible to get into a situation where an action is running for too long and there is no way to abort that without losing...
If you have a large diagram (like some of Manuel's proofs which have over 1000 slices), it makes no sense to render the entire diagram as you cannot realistically view...
it would be nice to be able to toggle bottom2top and left2right as options, especially since it seems that string-diagram reading direction is a matter of taste between different fields.
I think any changes to what one is currently viewing (i.e. which slice/depth) shouldn't count as actions, for the purposes of the "undo" command. At the moment it's a bit...
As discussed in our meeting today, it would be nice to have an option to render vertices as boxes instead of points.
This will be necessary to display the orientation of a wire (#550). It would also be nice to have as an option in the non-invertible version.
Google does not allow users to deploy cloud functions with the free plan (Spark, which we're using currently). We must upgrade to a pay-as-you-go plan (Blaze) to use cloud functions....
Alongside project metadata (#513), we need some UI to allow for - [x] Login - [ ] Saving the project - [ ] Opening the list of projects on the...
I would like to use Firebase UI's pre-built components, but it seems that it's not compatible with Firebase v9 (which is what we are currently using). This is a known...
We will need to be able to use the Firebase JS SDK from Rust. This means either writing our own binding, or seeing if there is one that is suitable....
