A comprehensive mathematical foundation for the MoonBit ecosystem.
Pinned Loading
Repositories
Showing 10 of 23 repositories
- arithmetic Public
Arithmetic capability traits and checked analytic operations for LunaFlow numeric types, with default real-valued instances.
- diff_bench Public
Differential testing and benchmarking suite for Luna-Flow numerical libraries, covering correctness, precision, performance, and cross-implementation consistency.
- floating Public
Arbitrary-precision binary, decimal, and ball arithmetic for MoonBit, with checked operations and explicit numeric semantics.
- mare_mark Public
Reproducible benchmarking, differential validation, tuning, and reports for MoonBit payloads.
- Luna-Flow.github.io Public
Documentation site for the LunaFlow MoonBit ecosystem, with package guides, API entry points, and multilingual project pages.
- linear-program Public
Linear programming modeling and solving tools for MoonBit, covering variables, constraints, standardization, and solver workflows.
- linear-algebra Public
Trait-oriented linear algebra foundations for MoonBit, with checked APIs, backend wrappers, and mutable/immutable dense matrix and vector types.
- geometry3d Public
- type_theory Public
A formal semantic substrate for Luna-Flow symbolic computation, with binding, substitution, rewriting, evaluation strategies, and lambda/type-theoretic cores.
Top languages
Loading…
Most used topics
Loading…