A static analyzer for Java, C, C++, and Objective-C

Moonbit Js bindings

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

Logic and Sokoban - Singularity Calculus

微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。

Implement IntervalTree using Moonbit

Discrete Interval Encoding Trees

A fast and flexible URL router implementation for the MoonBit language.

Prune is a constraint logic programming language with branching heuristic.

Moonbit Mariadb bindings.

😼 优雅地使用基于 clash/mihomo 的代理环境

WebIDL parser

Machine-readable references of terms defined in web browser specifications

A data-driven pipeline for excavation monitoring from multi-temporal 3D point clouds (TLS/UAV).

Language for high-assurance and high-speed cryptography

async programming library for MoonBit

A web tool to explore the ASTs generated by various parsers.

Exemplary real world application built with PureScript + Halogen

Type definitions and low level interface implementations for the W3C DOM spec

A declarative, type-safe UI library for PureScript.

Box combinators for char arts

Tiny theorem prover with syntax like Lean 4 in <1K LOC

🌈 React for interactive command-line apps

A powerful little TUI framework 🏗

Command Line Argument Parser for MoonBit