A comprehensive mathematical foundation for the MoonBit ecosystem.
Pinned Loading
Repositories
Showing 10 of 17 repositories
- 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 - 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 - 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 - 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_thread Public
Parallel FFI specification and runtime workspace for bringing multithreading support to MoonBit across native and JS backends.
Luna-Flow/luna_thread’s past year of commit activity - luna-utils Public
Utility building blocks for LunaFlow and MoonBit scientific computing, covering reusable helpers beyond core math abstractions.
Luna-Flow/luna-utils’s past year of commit activity - luna-poly Public
Polynomial types and operations for MoonBit, designed as the reusable polynomial layer for symbolic and numeric workflows in LunaFlow.
Luna-Flow/luna-poly’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…