Repositories list

• QED

  Public
  Kernel-first theorem prover in MoonBit, with a checked core, theorem-script frontend, and conformance-oriented formalization workflow.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/QED•00 stars in Luna-Flow/QED•11 issue in Luna-Flow/QED•00 pull requests in Luna-Flow/QED•Updated Oct 17, 2026Oct 17, 2026

• luna-utils

  Public
  Backend-independent IEEE 754 and numeric utility building blocks for Luna-Flow and MoonBit scientific computing.

  utilitiesmoonbit-lang

  utilitiesmoonbit-lang

  MoonBit

  •

  Apache License 2.0

  •22 forks in Luna-Flow/luna-utils•00 stars in Luna-Flow/luna-utils•1111 issues in Luna-Flow/luna-utils•00 pull requests in Luna-Flow/luna-utils•Updated Oct 13, 2026Oct 13, 2026

• floating

  Public

  Luna-Flow/floating’s past year of commit activity
  Arbitrary-precision binary, decimal, and ball arithmetic for MoonBit, with checked operations and explicit numeric semantics.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/floating•22 stars in Luna-Flow/floating•3232 issues in Luna-Flow/floating•00 pull requests in Luna-Flow/floating•Updated Oct 13, 2026Oct 13, 2026

• luna-complex

  Public
  Generic complex-number types and algebraic operations for LunaFlow, with Double-specific analytic functions in the double_ext subpackage.

  mathematicscomplex-numbersmoonbit-lang

  mathematicscomplex-numbersmoonbit-lang

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/luna-complex•11 star in Luna-Flow/luna-complex•99 issues in Luna-Flow/luna-complex•00 pull requests in Luna-Flow/luna-complex•Updated Oct 13, 2026Oct 13, 2026

• luna-poly

  Public
  Polynomial types and operations for MoonBit, designed as the reusable polynomial layer for symbolic and numeric workflows in LunaFlow.

  mathpolynomialmoonbit-lang

  mathpolynomialmoonbit-lang

  MoonBit

  •

  Apache License 2.0

  •11 fork in Luna-Flow/luna-poly•00 stars in Luna-Flow/luna-poly•44 issues in Luna-Flow/luna-poly•00 pull requests in Luna-Flow/luna-poly•Updated Oct 13, 2026Oct 13, 2026

• stella

  Public
  WIP MoonBit proof assistant exploring dependent type theory, typed terms, and kernel-based proof checking.

  proof-assistantnormalization-by-evaluationmoonbit+ 2

  proof-assistantnormalization-by-evaluationmoonbitbidirectional-typingmoonbit-lang

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/stella•55 stars in Luna-Flow/stella•33 issues in Luna-Flow/stella•00 pull requests in Luna-Flow/stella•Updated Oct 13, 2026Oct 13, 2026

• linear-program

  Public
  Linear programming modeling and solving tools for MoonBit, covering variables, constraints, standardization, and solver workflows.

  MoonBit

  •

  Apache License 2.0

  •11 fork in Luna-Flow/linear-program•00 stars in Luna-Flow/linear-program•77 issues in Luna-Flow/linear-program•00 pull requests in Luna-Flow/linear-program•Updated Oct 13, 2026Oct 13, 2026

• autodiff

  Public
  Autodiff provides Dual and Jet-based automatic differentiation over Luna Flow’s algebraic, arithmetic, polynomial, and linear-algebra foundations, bridging nume…

  MoonBit

  •00 forks in Luna-Flow/autodiff•11 star in Luna-Flow/autodiff•11 issue in Luna-Flow/autodiff•00 pull requests in Luna-Flow/autodiff•Updated Oct 13, 2026Oct 13, 2026

• geometry3d

  Public
  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/geometry3d•00 stars in Luna-Flow/geometry3d•77 issues in Luna-Flow/geometry3d•00 pull requests in Luna-Flow/geometry3d•Updated Oct 13, 2026Oct 13, 2026

• quaternion

  Public
  Quaternion types and operations for MoonBit, including arithmetic, normalization, and 3D rotation utilities.

  quaternion

  quaternion

  MoonBit

  •

  Apache License 2.0

  •33 forks in Luna-Flow/quaternion•00 stars in Luna-Flow/quaternion•77 issues in Luna-Flow/quaternion•00 pull requests in Luna-Flow/quaternion•Updated Oct 13, 2026Oct 13, 2026

• type_theory

  Public
  A formal semantic substrate for Luna-Flow symbolic computation, with binding, substitution, rewriting, evaluation strategies, and lambda/type-theoretic cores.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/type_theory•22 stars in Luna-Flow/type_theory•11 issue in Luna-Flow/type_theory•00 pull requests in Luna-Flow/type_theory•Updated Oct 13, 2026Oct 13, 2026

• calculus-numerical

  Public
  Numerical calculus methods for MoonBit, including differentiation, quadrature, and related scientific computing routines.

  calculusmathematicsnumerical-methods+ 1

  calculusmathematicsnumerical-methodsmoonbit-lang

  MoonBit

  •

  Apache License 2.0

  •33 forks in Luna-Flow/calculus-numerical•1111 stars in Luna-Flow/calculus-numerical•22 issues in Luna-Flow/calculus-numerical•00 pull requests in Luna-Flow/calculus-numerical•Updated Oct 13, 2026Oct 13, 2026

• community-blog

  Public
  MoonBit Community Blog

  JavaScript

  •1212 forks in Luna-Flow/community-blog•00 stars in Luna-Flow/community-blog•00 issues in Luna-Flow/community-blog•00 pull requests in Luna-Flow/community-blog•Updated Oct 13, 2026Oct 13, 2026

• mare_mark

  Public
  Reproducible benchmarking, differential validation, tuning, and reports for MoonBit payloads.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/mare_mark•11 star in Luna-Flow/mare_mark•00 issues in Luna-Flow/mare_mark•00 pull requests in Luna-Flow/mare_mark•Updated Oct 13, 2026Oct 13, 2026

• arithmetic

  Public
  Arithmetic capability traits and checked analytic operations for LunaFlow numeric types, with default real-valued instances.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/arithmetic•00 stars in Luna-Flow/arithmetic•1111 issues in Luna-Flow/arithmetic•00 pull requests in Luna-Flow/arithmetic•Updated Oct 13, 2026Oct 13, 2026

• linear-algebra

  Public
  Trait-oriented linear algebra foundations for MoonBit, with checked APIs, backend wrappers, and mutable/immutable dense matrix and vector types.

  linear-algebramathematics

  linear-algebramathematics

  MoonBit

  •

  Apache License 2.0

  •77 forks in Luna-Flow/linear-algebra•1515 stars in Luna-Flow/linear-algebra•44 issues in Luna-Flow/linear-algebra•00 pull requests in Luna-Flow/linear-algebra•Updated Oct 13, 2026Oct 13, 2026

• mooncake_impact_factor

  Public
  Local ranking and search toolkit for MoonBit packages, combining dependency, release, and download signals.

  MoonBit

  •

  Apache License 2.0

  •00 forks in Luna-Flow/mooncake_impact_factor•11 star in Luna-Flow/mooncake_impact_factor•00 issues in Luna-Flow/mooncake_impact_factor•00 pull requests in Luna-Flow/mooncake_impact_factor•Updated Oct 13, 2026Oct 13, 2026

• diff_bench

  Public
  Differential testing and benchmarking suite for Luna-Flow numerical libraries, covering correctness, precision, performance, and cross-implementation consistenc…

  HTML

  •

  Apache License 2.0

  •00 forks in Luna-Flow/diff_bench•00 stars in Luna-Flow/diff_bench•44 issues in Luna-Flow/diff_bench•00 pull requests in Luna-Flow/diff_bench•Updated Oct 13, 2026Oct 13, 2026

• Luna-Flow.github.io

  Public
  Documentation site for the LunaFlow MoonBit ecosystem, with package guides, API entry points, and multilingual project pages.

  JavaScript

  •11 fork in Luna-Flow/Luna-Flow.github.io•11 star in Luna-Flow/Luna-Flow.github.io•11 issue in Luna-Flow/Luna-Flow.github.io•00 pull requests in Luna-Flow/Luna-Flow.github.io•Updated Oct 13, 2026Oct 13, 2026

• luna-generic

  Public
  Algebraic traits and default numeric instances that define the generic foundation for LunaFlow math packages.

  algebramathgeneric+ 1

  algebramathgenericscientific-computing

  MoonBit

  •

  Apache License 2.0

  •22 forks in Luna-Flow/luna-generic•00 stars in Luna-Flow/luna-generic•00 issues in Luna-Flow/luna-generic•00 pull requests in Luna-Flow/luna-generic•Updated Oct 13, 2026Oct 13, 2026

• .github

  Public
  Python

  •

  Apache License 2.0

  •00 forks in Luna-Flow/.github•00 stars in Luna-Flow/.github•00 issues in Luna-Flow/.github•00 pull requests in Luna-Flow/.github•Updated Oct 10, 2026Oct 10, 2026

• luna_thread

  Public
  Parallel FFI specification and runtime workspace for bringing multithreading support to MoonBit across native and JS backends.

  C

  •

  Apache License 2.0

  •00 forks in Luna-Flow/luna_thread•00 stars in Luna-Flow/luna_thread•77 issues in Luna-Flow/luna_thread•00 pull requests in Luna-Flow/luna_thread•Updated Oct 8, 2026Oct 8, 2026

• template

  Public template
  Standard template repository for Luna-Flow MoonBit packages

  Just

  •

  Apache License 2.0

  •00 forks in Luna-Flow/template•00 stars in Luna-Flow/template•00 issues in Luna-Flow/template•00 pull requests in Luna-Flow/template•Updated Oct 8, 2026Oct 8, 2026