編譯期導出數學:MoonBit 實作的位並行 GF(2) 線性代數、∞-範疇、A∞/E∞、VOA 與導出模空間(31 tests, 43–102× speedups)
persistent-homology homotopy-type-theory moonbit bit-parallel infinity-category a-infinity-algebra e-infinity vertex-operator-algebra derived-algebraic-geometry
-
Updated
Oct 18, 2026 - MoonBit