1MoonBit 0.9: Introducing First-Class Formal Verification (opens in new tab)(twitter.com)2hongbo_zhang2mo ago0Save
2A local GitHub Actions runner built with MoonBit (opens in new tab)(github.com)GitHub6hongbo_zhang3mo ago2Save
3Realworld benchmark between Codex 5.3 and Opus 4.6 (opens in new tab)(swe-agi.com)4hongbo_zhang4mo ago3Save
4Building a battle tested C compiler in a new language using Codex (opens in new tab)(moonbitlang.com)2hongbo_zhang4mo ago1Save
5Implementing CRDT Algorithms with MoonBit (opens in new tab)(moonbitlang.com)4hongbo_zhang4mo ago2Save
6How to Build WebAssembly Components with the MoonBit Language (opens in new tab)(thenewstack.io)3hongbo_zhang7mo ago0Save
7Writing a compiler(tiny moonbit) in MoonBit (opens in new tab)(moonbitlang.com)2hongbo_zhang10mo ago1Save
9Profiling MoonBit-Generated WASM Using Chrome (opens in new tab)(moonbitlang.com)4hongbo_zhang1y ago0Save
11Introduction to MoonBit, a New Language Toolchain for WASM (opens in new tab)(thenewstack.io)2hongbo_zhang1y ago0Save
12Live coding Tetris game with WebAssembly language Moonbit (opens in new tab)(moonbitlang.com)4hongbo_zhang2y ago2Save
13Make generated JavaScript Inline Caching friendly (opens in new tab)(reasonml.org)1hongbo_zhang5y ago0Save
14Mario Game ported in BuckleScript: 7K generated Js, 0.5s to build (opens in new tab)(github.com)GitHub20hongbo_zhang9y ago1Save
