homotopy-rs:关于Rust和Webassembly对于homotopy.io的工作情况的实验
需积分: 5 65 浏览量
2021-04-20
01:54:36
上传
评论
收藏 194KB ZIP 举报
homotopy-rs-master.zip （70个子文件） 
homotopy-rs-master 
.gitignore 21B homotopy-core src diagram.rs 19KB graph.rs 5KB contraction.rs 15KB factorization.rs 6KB common.rs 5KB complex.rs 5KB typecheck.rs 10KB expansion.rs 11KB normalization.rs 12KB projection.rs 5KB attach.rs 3KB rewrite.rs 16KB serialize.rs 9KB lib.rs 2KB Cargo.toml 534B tests diagram.rs 210B snapshots contraction__scalar_biased_right.snap 3KB diagram__assoc_right.snap 7KB contraction__scalar_biased_left.snap 3KB serialize__serialization.snap 164B diagram__assoc_left.snap 7KB contraction.rs 3KB common.rs 494B serialize.rs 670B homotopy-graphics src layout2d.rs 7KB geometry.rs 5KB graphic2d.rs 11KB lib.rs 1KB Cargo.toml 555B tests snapshots layout__scalar.snap 224B layout__assoc_left.snap 422B layout__assoc_projected.snap 316B layout__assoc_right.snap 422B layout.rs 1010B Cargo.lock 27KB Cargo.toml 280B .github workflows ci.yml 2KB README.md 95B .envrc 8B homotopy-web .gitignore 47B package.json 710B package-lock.json 426KB src model.rs 3KB app signature_stylesheet.rs 3KB signature.rs 2KB panzoom.rs 7KB diagram2d.rs 21KB workspace path_control.rs 2KB slice_control.rs 2KB rawhtml.rs 1KB project.rs 2KB attach.rs 3KB workspace.rs 7KB model proof homotopy.rs 597B history tree.rs 811B proof.rs 20KB history.rs 3KB serialize.rs 4KB app.rs 9KB lib.rs 2KB webpack.config.js 651B js index.js 48B Cargo.toml 3KB static 
logo.svg 1KB
index.html 408B styles.css 6KB README.md 1KB tests app.rs 1023B shell.nix 467B资源评论
