29,572
Packages
3,337
Modules
9,981,159
Downloads

9,981,159
Downloads
3,337
Modules
29,572
Packages
Native MoonBit Metamath verification and interactive proof execution, with CLI and browser tools.
Typed OpenDocument spreadsheet (.ods) reader and writer with bounded, deterministic packages
JMAP EmailView two-state coordination and prefix transition proof
Pure-MoonBit port of doubleml-for-py: Double / Debiased Machine Learning for partial linear, IRM, IV, DID, SSM, APO(S), PQ, QTE, LPQ, CVaR, RDD, BLP, and policy-tree models
Readability metrics for MoonBit — text counts plus the eight textstat formulas, with all data embedded (no runtime I/O).
Bounded image fingerprint and cross-split evidence audit
Native Skia renderer provider for MoUI
MoonBit bindings for the Skia Graphics Library
MoonGrd — Guardian 式认证管道框架(access/refresh 双 token 旋转 + 四段分发管线;transport/storage/crypto-free,核心零依赖)
moon-mqtt:MoonBit 生态的 MQTT 3.1.1 客户端库——QoS0/1/2、持久会话恢复、core/ 纯计算状态机(四后端可测)、浏览器 WebSocket 高层 API;5.0 为后续路线
Optional rich text and markdown addon for MoUI
Offline target-lesion follow-up review with explicit baseline, nadir and measurement evidence
JMAP EmailView two-state coordination and prefix transition proof
Bounded image fingerprint and cross-split evidence audit
MoonGrd — Guardian 式认证管道框架(access/refresh 双 token 旋转 + 四段分发管线;transport/storage/crypto-free,核心零依赖)
Offline target-lesion follow-up review with explicit baseline, nadir and measurement evidence
NFSv3 over TCP file client for MoonBit
Pure-MoonBit QR Code Model 2 encoder with ASCII/SVG renderers, payload templates and a flat JS/wasm API | 纯 MoonBit 实现的 QR Code Model 2 编码器,支持 ASCII/SVG 渲染、载荷模板和扁平 JS/wasm API
Standalone illustrative diagram playback for diagrams.mbt
BPMN document adapter for diagrams.mbt
Portable BPMN document reading, writing and traversal
Pure MoonBit IPv4/IPv6 address sets and minimal CIDR covers
Offline integrity checks and token accounting for agent run logs
Community MoonBit SDK for TypeSafe System One (Jev): typed Noul/Choice/Score questions, formally verified confidence gates and retry policy, and network-free testing.
Asynchronous programming library for MoonBit
experimental packages for moonbitlang/core
AST and parsers for the MoonBit programming language
Lexer for the MoonBit programming language
MoonBit package configuration parser
pretty printer for moonbit
Unicode Character Database lookup and case mapping for MoonBit
Simple Unicode CaseFold Implementation
A CommonMark toolkit for MoonBit
Unicode character classification library providing functions to determine character properties such as alphabetic, numeric, whitespace, punctuation, and other Unicode general categories
A web backend framework for MoonBit
functional Web UI framework for MoonBit