A comprehensive mathematical foundation for the MoonBit ecosystem.
Pinned Loading
Repositories
Showing 10 of 21 repositories
- floating Public
Arbitrary-precision binary, decimal, and ball arithmetic for MoonBit, with checked operations and explicit numeric semantics.
Luna-Flow/floating’s past year of commit activity - Luna-Flow.github.io Public
Documentation site for the LunaFlow MoonBit ecosystem, with package guides, API entry points, and multilingual project pages.
Luna-Flow/Luna-Flow.github.io’s past year of commit activity - arithmetic Public
Arithmetic capability traits and checked analytic operations for LunaFlow numeric types, with default real-valued instances.
Luna-Flow/arithmetic’s past year of commit activity - linear-program Public
Linear programming modeling and solving tools for MoonBit, covering variables, constraints, standardization, and solver workflows.
Luna-Flow/linear-program’s past year of commit activity - linear-algebra Public
Trait-oriented linear algebra foundations for MoonBit, with checked APIs, backend wrappers, and mutable/immutable dense matrix and vector types.
Luna-Flow/linear-algebra’s past year of commit activity - geometry3d Public
Luna-Flow/geometry3d’s past year of commit activity - type_theory Public
A formal semantic substrate for Luna-Flow symbolic computation, with binding, substitution, rewriting, evaluation strategies, and lambda/type-theoretic cores.
Luna-Flow/type_theory’s past year of commit activity - autodiff Public
Autodiff provides Dual and Jet-based automatic differentiation over Luna Flow’s algebraic, arithmetic, polynomial, and linear-algebra foundations, bridging numerical calculus, symbolic structure, and future validated computation.
Luna-Flow/autodiff’s past year of commit activity - luna-poly Public
Polynomial types and operations for MoonBit, designed as the reusable polynomial layer for symbolic and numeric workflows in LunaFlow.
Luna-Flow/luna-poly’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…