A comprehensive mathematical foundation for the MoonBit ecosystem.
Pinned Loading
Repositories
Showing 10 of 18 repositories
- geometry3d Public
Luna-Flow/geometry3d’s past year of commit activity - linear-algebra Public
Mutable and immutable matrix and vector libraries for MoonBit, with core linear algebra operations and decompositions.
Luna-Flow/linear-algebra’s past year of commit activity - 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-generic Public
Algebraic traits and default numeric instances that define the generic foundation for LunaFlow math packages.
Luna-Flow/luna-generic’s past year of commit activity - mooncake_impact_factor Public
Local ranking and search toolkit for MoonBit packages, combining dependency, release, and download signals.
Luna-Flow/mooncake_impact_factor’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 - stella Public
WIP MoonBit proof assistant exploring dependent type theory, typed terms, and kernel-based proof checking.
Luna-Flow/stella’s past year of commit activity - QED Public
Kernel-first theorem prover in MoonBit, with a checked core, theorem-script frontend, and conformance-oriented formalization workflow.
Luna-Flow/QED’s past year of commit activity - quaternion Public
Quaternion types and operations for MoonBit, including arithmetic, normalization, and 3D rotation utilities.
Luna-Flow/quaternion’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…