max
0 followers · 0 following
  • Joined on 2026-04-25
Repositories
7
 Projects Packages Public activity Starred repositories
max pushed to master at max/cubical-transport-hott-lean4 2026-04-27 22:35:03 -05:00
31d19f655e Split: engine = cubical-transport HoTT only
max renamed repository from topolei to max/cubical-transport-hott-lean4 2026-04-27 21:48:33 -05:00
max created branch master in max/cubical-transport-hott-lean4 2026-04-27 21:40:56 -05:00
max pushed to master at max/cubical-transport-hott-lean4 2026-04-27 21:40:56 -05:00
c2e3ecb3e3 Initial commit: topolei — cubical-transport HoTT in Lean 4 + Rust FFI
max created repository max/cubical-transport-hott-lean4 2026-04-27 21:40:51 -05:00
max created branch feat/explosion in max/zigzag-engine 2026-04-27 21:39:59 -05:00
max pushed to feat/explosion at max/zigzag-engine 2026-04-27 21:39:59 -05:00
max created branch feat/normalisation in max/zigzag-engine 2026-04-27 21:39:59 -05:00
max pushed to feat/normalisation at max/zigzag-engine 2026-04-27 21:39:59 -05:00
max created branch feat/slice-computation in max/zigzag-engine 2026-04-27 21:39:59 -05:00
max pushed to feat/slice-computation at max/zigzag-engine 2026-04-27 21:39:59 -05:00
max created branch feat/degeneracy in max/zigzag-engine 2026-04-27 21:39:58 -05:00
max pushed to feat/degeneracy at max/zigzag-engine 2026-04-27 21:39:58 -05:00
max created branch master in max/zigzag-engine 2026-04-27 21:39:55 -05:00
max pushed to master at max/zigzag-engine 2026-04-27 21:39:55 -05:00
c51e3274f9 Stage 2 complete: Construction 17 validated on real 3D data
c011af0414 Add visibility filter and output only visible elements
2f33791809 Fix render_braiding.rs: transitive for wire endpoints, direct for surface boundaries
d679eeba6b Add Three.js renderer for half_braid geometry with variational elastic curves
5454c02328 Fix explosion.rs over-approximation: use cospan rewrite data for correct covering relations
Compare 10 commits »
max created repository max/zigzag-engine 2026-04-27 21:39:37 -05:00