Library
Every Luna Flow repository, grouped by what it provides. Each one is documented with the same structure: API, design and tutorial.
Foundations
Shared traits, generic structures, and utilities that connect the ecosystem.
- arithmetic
Analytic capability traits for Luna Flow numeric types: elementary functions, checked and contextual operations with explicit precision and diagnostics, and enclosure relations.
- luna-generic
Algebraic traits and default numeric instances that define the generic foundation for LunaFlow math packages.
- luna-utils
Generic array and comparison helpers for Luna-Flow projects, constrained by luna-generic traits.
Numbers & Representations
Concrete and generic representations for numerical computation.
- floating
Arbitrary-precision binary, decimal, and ball arithmetic for MoonBit, with checked operations and explicit numeric semantics.
- luna-complex
Generic complex-number arithmetic for LunaFlow, with analytic and transcendental functions for complex doubles.
- quaternion
Generic quaternions for MoonBit with arithmetic, normalization, 3D rotation, interpolation and Euler-angle conversion.
- luna-poly
Canonical dense, sparse and named-variable polynomials for MoonBit, as immutable values and mutable containers.
Analysis & Optimization
Linear, numerical, and symbolic tools for higher-level mathematics.
- linear-algebra
Dense matrices and vectors for MoonBit in immutable and in-place forms, with checked numerical routines and capability traits for generic linear algebra.
- linear-program
A MoonBit library for defining linear programs and solving them with the two-phase simplex method.
- calculus-numerical
Numerical differentiation and Gauss–Kronrod integration of real functions for MoonBit, part of Luna-Flow.
- autodiff
Forward-mode automatic differentiation over Luna Flow algebraic and arithmetic structures.
Systems & Research
Experimental systems, proof tooling, and ecosystem-scale projects.
- luna_thread
Parallel plans and workflow graphs for MoonBit, validated in MoonBit and executed by a native C runtime through the FFI.
- QED
A kernel-first theorem prover written in MoonBit, governed by a formal specification.
- stella
A work-in-progress proof assistant written in MoonBit, built around a type checker for Martin-Löf type theory.
- mooncake_impact_factor
Local ranking and search toolkit for MoonBit packages, combining dependency, release, and download signals.
- type_theory
Names, binding, capture-avoiding substitution, rewriting and lambda-calculus normalizers shared by Luna Flow's symbolic packages.
- geometry3d
A small 3D rendering pipeline for MoonBit on Luna-Flow/linear-algebra, with terminal, Canvas and GSAP SVG backends.
- mare_mark
Reproducible benchmarking, statistical comparison, tuning, and self-contained reports for MoonBit payloads.
- diff_bench
Differential correctness and performance benchmarks for Luna-Flow MoonBit packages.