moonbitlang / wasm4
A Wasm4 binding for MoonBit
☆13Updated this week
Related projects ⓘ
Alternatives and complementary repositories for wasm4
- ☆13Updated 3 weeks ago
- A CommonMark toolkit for MoonBit.☆10Updated this week
- RFCs of MoonBit lang☆17Updated 7 months ago
- tree-sitter grammar for moonbit☆17Updated 2 weeks ago
- Automatic testing of MoonBit programs☆16Updated this week
- A web framework for MoonBit.☆28Updated last month
- A NES emulator in MoonBit☆53Updated 3 weeks ago
- UI library written by moonbit-lang☆20Updated last month
- ☆11Updated this week
- ☆19Updated last week
- experimental packages for moonbitlang/core☆16Updated this week
- Extism PDK for the MoonBit programming language.☆24Updated this week
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆25Updated 3 months ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Elaboration with inductive types☆16Updated last year
- ShiTT is a toy proof assistant (almost).☆28Updated last week
- ReScript语言官方网站 https://rescript-lang.org/ 的中文翻译☆17Updated last year
- BuckleScript binding for JQuery☆10Updated 7 years ago
- 豫言☆27Updated 3 weeks ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Game of life in MoonBit☆17Updated last year
- A curated collection of awesome MoonBit tools, frameworks, libraries and articles.☆76Updated 5 months ago
- Cicada Language (PLCT little team)☆91Updated 2 weeks ago
- A modern functional programming language with effect system.☆19Updated 7 months ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- The build system and package manager for MoonBit☆187Updated this week
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Updated last year
- A toy IO library for Arend☆18Updated 3 years ago