zxch3n / moon-crdt
☆14Updated 4 months ago
Alternatives and similar repositories for moon-crdt:
Users that are interested in moon-crdt are comparing it to the libraries listed below
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- TEA web UI framework for MoonBit. WIP☆19Updated 2 weeks ago
- A Wasm4 binding for MoonBit☆15Updated last month
- Automatic testing of MoonBit programs☆23Updated this week
- tree-sitter grammar for moonbit☆23Updated this week
- experimental packages for moonbitlang/core☆29Updated this week
- Linear Algbra lib in MoonBit☆13Updated last month
- Game of life in MoonBit☆18Updated last year
- RFCs of MoonBit lang☆17Updated 11 months ago
- UI library written by moonbit-lang☆21Updated 5 months ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆18Updated last year
- ☆15Updated 4 months ago
- A category and functional programing library for Zig language☆28Updated last month
- Extism PDK for the MoonBit programming language.☆26Updated last week
- Purely functional data structures in Koka☆10Updated 3 years ago
- Experimental Spin SDK for the MoonBit programming language.☆15Updated last week
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Dynamic types for OCaml☆25Updated 9 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A web framework for MoonBit.☆37Updated last week
- Light weight runtime for ReScript☆15Updated last year
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated last month
- ☆15Updated 3 months ago
- Elaboration with inductive types☆16Updated last year
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago