zxch3n / moon-crdtLinks
☆14Updated 7 months ago
Alternatives and similar repositories for moon-crdt
Users that are interested in moon-crdt are comparing it to the libraries listed below
Sorting:
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- A Wasm4 binding for MoonBit☆18Updated 4 months ago
- Automatic testing of MoonBit programs☆25Updated last week
- High-precision Math library implemented by moonbit☆11Updated last month
- experimental packages for moonbitlang/core☆38Updated this week
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆18Updated this week
- tree-sitter grammar for moonbit☆29Updated this week
- Linear Algbra lib in MoonBit☆13Updated last month
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Updated 3 months ago
- RFCs of MoonBit lang☆17Updated last year
- TEA web UI framework for MoonBit☆59Updated this week
- Game of life in MoonBit☆20Updated last month
- UI library written by moonbit-lang☆21Updated 8 months ago
- ☆11Updated 3 months ago
- website of mooncakes.io, written in MoonBit☆15Updated last week
- Porotbuf generator for MoonBit programming language☆11Updated last month
- Experimental Spin SDK for the MoonBit programming language.☆19Updated this week
- Write games use jok(zig) through MoonBit(wasm).☆14Updated 2 months ago
- Manage multiple MoonBit installations☆15Updated this week
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆10Updated 2 months ago
- Extism PDK for the MoonBit programming language.☆30Updated this week
- ☆16Updated 8 months ago
- Light weight runtime for ReScript☆15Updated 2 years ago
- A terminal text editor written in MoonBit☆11Updated 2 months ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Updated 2 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆18Updated last year
- Elaboration with inductive types☆16Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago