homotopy-rs
homotopy-rs copied to clipboard
A Rust/WASM implementation of homotopy.io
We could have a button to choose which way to sort the signature: by name, by dimension, manually.
An idea that Lukas and I discussed yesterday: use a LRU ("least recently used") cache to cache results of *all* core function calls (get slices, normalization, restriction, etc.) Given that...
Now that contraction and typechecking are operating like greased lightning, please could we add some harder benchmarks to /dev/bench. Maybe contract-high-dimension/10, contract-high-dimension/11, contract-high-dimension/12.
I work at PlantingSpace and was happily using the old version of homotopy io. I hope it doesn't soon get replaced with this new beta version of homotopy io. The...
[homotopy_io_state.zip](https://github.com/user-attachments/files/16488605/homotopy_io_state.zip) i was told to please report my crash, so here it is. For context on what the project is: i have found that this graphical representation of proofs is...
Bumps [log](https://github.com/rust-lang/log) from 0.4.21 to 0.4.22. Changelog Sourced from log's changelog. [0.4.22] - 2024-06-27 What's Changed Add some clarifications to the library docs by @KodrAus in rust-lang/log#620 Add links to...
Bumps [rustc-hash](https://github.com/rust-lang/rustc-hash) from 1.1.0 to 2.0.0. Changelog Sourced from rustc-hash's changelog. 2.0.0 Replace hash with faster and better finalized hash. This replaces the previous "fxhash" algorithm originating in Firefox with...
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.12.1 to 0.13.0. Changelog Sourced from itertools's changelog. 0.13.0 Breaking Removed implementation of DoubleEndedIterator for ConsTuples (#853) Made MultiProduct fused and fixed on an empty iterator (#835,...
Currently the PNG export includes the whole canvas, but it would be nice to crop to just the diagram
When a swallowtail in the regular slice is clicked, the program crashes. I think this is an issue with derived rules in slices. In general applying rules in lower dimensions...