lijunchen / moonbit-wasm4-esp32
MoonBit WASM-4 on the ESP32 series microcontroller
☆11Updated 4 months ago
Alternatives and similar repositories for moonbit-wasm4-esp32:
Users that are interested in moonbit-wasm4-esp32 are comparing it to the libraries listed below
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- ☆14Updated 4 months ago
- RFCs of MoonBit lang☆17Updated 11 months ago
- TEA web UI framework for MoonBit. WIP☆22Updated this week
- A Wasm4 binding for MoonBit☆15Updated last month
- Extism PDK for the MoonBit programming language.☆27Updated 2 weeks ago
- Porotbuf generator for MoonBit programming language☆11Updated 3 months ago
- UI library written by moonbit-lang☆21Updated 5 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- experimental packages for moonbitlang/core☆31Updated this week
- tree-sitter grammar for moonbit☆24Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- OCaml bindings for Binaryen.☆49Updated 2 weeks ago
- Light weight runtime for ReScript☆15Updated last year
- Game of life in MoonBit☆18Updated last year
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 4 years ago
- ☆9Updated 3 months ago
- Automatic testing of MoonBit programs☆23Updated last week
- Dynamic types for OCaml☆25Updated 9 years ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 9 months ago
- The Pulse separation logic DSL for F*☆14Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- ☆59Updated 5 months ago
- Grain support for Visual Studio Code☆23Updated 4 months ago
- Formal verification for TypeScript☆16Updated 2 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago