typescript <-> moonbit bridge generator

🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.

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

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

moonbit 开发网

A Moonbit module to get the number of CPU cores available on the system.

SkirRPC integration for MoonBit

Official plugin for generating MoonBit code from .skir files

📚️ A repository for showcasing my knowledge of the MoonBit programming language, and continuing to learn the language.

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:MoonBit category for AI2001, containing MoonBit programming language datasets

⌨️ The MoonBit programming language IDE submodule for SNU Programming Tools (2D Mode)

Runtime dependency for MoonBit code generated from .skir files

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

🌳️🌐️#️⃣️ The Bliss Browser MoonBit language support module, allowing MoonBit programs to be written in and ran within the browser.

A browser 3D tennis game. One-set match, you vs the CPU, with physically-based ball flight (drag + Magnus effect) and surface-dependent bounces.

Directory walking for MoonBit native/LLVM targets.

A moos sdk for developing plugins with moonbit

Utility building blocks for LunaFlow and MoonBit scientific computing, covering reusable helpers beyond core math abstractions.