0.1.1

A fully tested System F-ω style typechecker in MoonBit, featuring higher-kinded types, traits, recursive types, borrow checking, and import/rename tooling.

unreleased

A WebAssembly-focused toolkit and optimization pipeline implemented in MoonBit, providing encoding, validation, and transformation infrastructure.

0.2.0

A modern testing framework for AssemblyScript focused on correctness, WASM-native execution, and improved ergonomics over legacy tools like as-pect.