moonbitlang / MoonBit-Code-JAM-2024
☆21Updated 3 months ago
Alternatives and similar repositories for MoonBit-Code-JAM-2024:
Users that are interested in MoonBit-Code-JAM-2024 are comparing it to the libraries listed below
- Automatic testing of MoonBit programs☆23Updated this week
- TEA web UI framework for MoonBit. WIP☆18Updated this week
- A Wasm4 binding for MoonBit☆14Updated this week
- ☆14Updated 2 months ago
- Linear Algbra lib in MoonBit☆13Updated last week
- A web framework for MoonBit.☆33Updated this week
- ☆14Updated 3 months ago
- tree-sitter grammar for moonbit☆23Updated this week
- ReScript语言官方网站 https://rescript-lang.org/ 的中文翻译☆17Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆25Updated last week
- ☆11Updated this week
- experimental packages for moonbitlang/core☆28Updated this week
- RFCs of MoonBit lang☆17Updated 10 months ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆23Updated 2 years ago
- A NES emulator in MoonBit☆53Updated this week
- Elaboration with inductive types☆16Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- A pretty-printing combinator library for OCaml☆49Updated 6 months ago
- A modern functional programming language with effect system.☆19Updated 10 months ago
- 豫言☆27Updated 3 months ago
- Experimental Spin SDK for the MoonBit programming language.☆15Updated last week
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated 2 weeks ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆33Updated 3 months ago
- Game of life in MoonBit☆18Updated last year
- Playing with type systems☆48Updated last month