ライブラリ

Luna Flow の数値型のための解析的能力トレイト。初等関数、明示的な精度と診断を伴う検査付き・コンテキスト付き演算、包含区間の関係を提供する。

LunaFlow の数学パッケージの汎用的な基盤となる代数 trait と既定の数値インスタンス。

luna-generic の trait を制約に用いる、Luna-Flow プロジェクト向けの汎用的な配列・比較ヘルパー。

MoonBit 向けの任意精度の二進・十進・ボール（区間）演算ライブラリで、checked 演算と明示的な数値意味論を備えます。

LunaFlow のための汎用複素数演算ライブラリ。倍精度複素数向けの解析関数・超越関数も備えます。

算術演算、正規化、3D 回転、補間、オイラー角変換を備えた MoonBit 向けの汎用四元数ライブラリ。

MoonBit 向けの正規形を持つ密・疎・名前付き変数の多項式を、イミュータブルな値とミュータブルなコンテナとして提供します。

MoonBit 向けの稠密行列とベクトルを不変形式とインプレース形式の両方で提供し、検査付きの数値ルーチンと汎用線形代数のための能力 trait を備えます。

線形計画問題を定義し、二段階単体法で解くための MoonBit ライブラリ。

MoonBit 向けの実関数の数値微分と Gauss–Kronrod 数値積分のライブラリ。Luna-Flow の一部です。

Luna Flow の代数構造と算術構造の上での前進モード自動微分。

MoonBit のための並列プランとワークフローグラフ。MoonBit で検証し、FFI を通じてネイティブ C ランタイムで実行します。

MoonBit で書かれたカーネル優先の定理証明器で、形式仕様に準拠する。

MoonBit で書かれた開発中の証明支援系で、Martin-Löf 型理論の型検査器を中核とする。

依存、リリース、ダウンロードのシグナルを組み合わせた、MoonBit パッケージ向けのローカルなランキング・検索ツールキット。

Luna Flow の記号処理パッケージが共有する名前、束縛、捕獲回避代入、書き換え、λ計算の正規化器。

Luna-Flow/linear-algebra 上に構築された MoonBit 向けの小さな 3D レンダリングパイプライン。ターミナル、Canvas、GSAP SVG のバックエンドを備えます。

MoonBit のペイロードを対象とした、再現可能なベンチマーク、統計的比較、チューニング、自己完結型レポート。

Luna-Flow の MoonBit パッケージ向けの差分正確性・性能ベンチマーク。