homotopy-io homotopy-rs issues

homotopy-io / homotopy-rs

A Rust/WASM implementation of homotopy.io

https://homotopy.io

BSD 3-Clause "New" or "Revised" License

80 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Crash when expanding definition

#1357 wilfofford opened 6 months ago
0
Can't Press Import

#1356 wilfofford opened 6 months ago
1
Add UI for dualisability

#1355 calintat opened 6 months ago
2
build(deps): bump cachix/install-nix-action from 25 to 26

#1354 dependabot[bot] closed 6 months ago
0
Crash in regular slice when hovering over an attachment

#1353 kimxworrall opened 6 months ago
1
build(deps): bump jose from 4.15.4 to 4.15.5 in /functions

#1352 dependabot[bot] closed 6 months ago
0
build(deps): bump chrono from 0.4.34 to 0.4.35

#1351 dependabot[bot] closed 6 months ago
0
build(deps): bump wasm-bindgen from 0.2.91 to 0.2.92

#1350 dependabot[bot] closed 1 month ago
1
Crash with multi-layer contraction

#1349 wilfofford opened 7 months ago
1
build(deps): bump log from 0.4.20 to 0.4.21

#1348 dependabot[bot] closed 7 months ago
0
build(deps): bump serde-wasm-bindgen from 0.6.3 to 0.6.5

#1347 dependabot[bot] closed 7 months ago
0
build(deps): bump base64 from 0.21.7 to 0.22.0

#1346 dependabot[bot] closed 7 months ago
0
build(deps): bump palette from `e75eab2` to `c54efbd`

#1345 dependabot[bot] closed 7 months ago
0
build(deps): bump js-sys from 0.3.68 to 0.3.69

#1344 dependabot[bot] closed 1 month ago
1
build(deps): bump insta from 1.34.0 to 1.36.1

#1343 dependabot[bot] closed 7 months ago
0
Crash when smoothing braids in proof view

#1342 kimxworrall opened 7 months ago
1
build(deps): bump DeterminateSystems/update-flake-lock from 20 to 21

#1341 dependabot[bot] closed 6 months ago
0
crash while trying to smooth identities in proof

#1340 kimxworrall closed 7 months ago
1
build(deps): bump syn from 2.0.49 to 2.0.52

#1339 dependabot[bot] closed 7 months ago
0
Lemma not contractible to identity

#1338 wilfofford opened 7 months ago
4
build(deps): bump syn from 2.0.49 to 2.0.51

#1337 dependabot[bot] closed 7 months ago
1
flake.lock: Update

#1336 NickHu closed 7 months ago
1
Crash while trying to save project to server

#1335 12andrew13 opened 7 months ago
0
build(deps): bump serde_json from 1.0.113 to 1.0.114

#1334 dependabot[bot] closed 7 months ago
0
build(deps): bump syn from 2.0.49 to 2.0.50

#1333 dependabot[bot] closed 7 months ago
1
build(deps): bump serde from 1.0.196 to 1.0.197

#1332 dependabot[bot] closed 7 months ago
0
build(deps): bump anyhow from 1.0.79 to 1.0.80

#1331 dependabot[bot] closed 7 months ago
0
build(deps): bump insta from 1.34.0 to 1.35.1

#1330 dependabot[bot] closed 7 months ago
1
Do not autoplay videos

#1329 calintat closed 7 months ago
0
flake.lock: Update

#1328 NickHu closed 7 months ago
1
build(deps): bump syn from 2.0.48 to 2.0.49

#1327 dependabot[bot] closed 7 months ago
0
build(deps): bump chrono from 0.4.33 to 0.4.34

#1326 dependabot[bot] closed 7 months ago
0
build(deps): bump palette from `7e446ea` to `e75eab2`

#1325 dependabot[bot] closed 7 months ago
0
build(deps): bump thiserror from 1.0.56 to 1.0.57

#1324 dependabot[bot] closed 7 months ago
0
flake.lock: Update

#1323 NickHu closed 7 months ago
1
build(deps): bump wasm-bindgen from 0.2.87 to 0.2.91

#1322 dependabot[bot] closed 7 months ago
1
Another Crash Log

#1321 wilfofford closed 7 months ago
4
Crash report

#1320 wilfofford closed 8 months ago
2
Changed Examples

#1319 wilfofford closed 8 months ago
1
Added to examples

#1318 wilfofford closed 8 months ago
1
Holes in 4D Renderer

#1317 wilfofford opened 8 months ago
1
build(deps): bump serde_json from 1.0.108 to 1.0.113

#1316 dependabot[bot] closed 7 months ago
1
build(deps): bump serde_json from 1.0.108 to 1.0.112

#1315 dependabot[bot] closed 8 months ago
1
build(deps): bump serde from 1.0.185 to 1.0.196

#1314 dependabot[bot] closed 7 months ago
1
White generators should always be white or light grey

#1313 calintat opened 8 months ago
0
Contraction is broken

#1312 jamievicary closed 8 months ago
5
build(deps): bump wasm-bindgen from 0.2.87 to 0.2.90

#1311 dependabot[bot] closed 7 months ago
1
build(deps): bump cachix/install-nix-action from 24 to 25

#1310 dependabot[bot] closed 8 months ago
0
build(deps): bump cachix/cachix-action from 13 to 14

#1309 dependabot[bot] closed 8 months ago
0
build(deps): bump serde from 1.0.185 to 1.0.195

#1308 dependabot[bot] closed 8 months ago
1

Previous Next