Alternatives and similar repositories for TAPL-in-MoonBit

Users that are interested in TAPL-in-MoonBit are comparing it to the libraries listed below

• moonbitlang / moonyacc

  View on GitHub
  MoonYacc is an LR(1) parser generator for MoonBit programming language.
  ☆21Jan 30, 2026Updated 2 weeks ago
• moonbit-community / moonbit-workflow

  View on GitHub
  ☆13Oct 28, 2025Updated 3 months ago
• moonbitlang / quickcheck

  View on GitHub
  Automatic testing of MoonBit programs
  ☆28Updated this week
• moonbit-community / moonbit-arduino

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• Yu-zh / Tuzi

  View on GitHub
  A terminal text editor written in MoonBit
  ☆11Apr 7, 2025Updated 10 months ago
• CAIMEOX / ts2moonbit

  View on GitHub
  Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API
  ☆11Jul 29, 2025Updated 6 months ago
• moonbitlang / parser

  View on GitHub
  ☆28Updated this week
• Kaida-Amethyst / math.mbt

  View on GitHub
  High-precision Math library implemented by moonbit
  ☆11Sep 6, 2025Updated 5 months ago
• zxch3n / moon-crdt

  View on GitHub
  ☆14Oct 30, 2024Updated last year
• Mini-Moonbit-Machine / mmm

  View on GitHub
  ☆20Nov 24, 2024Updated last year
• moonbit-community / selene

  View on GitHub
  An experimental game engine in MoonBit.
  ☆21Jan 21, 2026Updated 3 weeks ago
• moonbitlang / MoonLLVM

  View on GitHub
  A Tiny, Friendly Companion to LLVM
  ☆46Jan 12, 2026Updated last month
• moonbit-community / moonbit.nvim

  View on GitHub
  Neovim plugin for Moonbit
  ☆22Feb 3, 2026Updated last week
• moonbitlang / llvm.mbt

  View on GitHub
  Write llvm in moonbit!
  ☆24Jan 28, 2026Updated 2 weeks ago
• moonbit-community / linalg

  View on GitHub
  Linear Algbra lib in MoonBit
  ☆14Jan 29, 2026Updated 2 weeks ago
• moonbit-community / cmark.mbt

  View on GitHub
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆33Feb 2, 2026Updated last week
• moonbitlang / MoonBit-Code-JAM-2024

  View on GitHub
  ☆21Nov 22, 2024Updated last year
• AntonPing / prune-lang

  View on GitHub
  Prune is a constraint logic programming language with branching heuristic.
  ☆33Feb 4, 2026Updated last week
• moonbit-community / rabbita

  View on GitHub
  A simple, declarative, functional web UI framework
  ☆92Updated this week
• Yoorkin / Effektos

  View on GitHub
  ☆11Apr 10, 2024Updated last year
• colmugx / moonbit-zig-experimental

  View on GitHub
  🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.
  ☆12Apr 7, 2025Updated 10 months ago
• moonbitlang / x

  View on GitHub
  experimental packages for moonbitlang/core
  ☆52Updated this week
• AntonPing / norem-lang

  View on GitHub
  A modern functional programming language with effect system.
  ☆19Apr 21, 2024Updated last year
• moonbitlang / mooncakes.io

  View on GitHub
  website of mooncakes.io, written in MoonBit
  ☆23Feb 2, 2026Updated last week
• moonbitlang / protoc-gen-mbt

  View on GitHub
  Protobuf generator for MoonBit programming language
  ☆14Jan 30, 2026Updated 2 weeks ago
• moonbitlang / moonbit-compiler

  View on GitHub
  ☆663Updated this week
• rowscript / rowscript

  View on GitHub
  RowScript programming language, making a better browser world
  ☆126Jan 5, 2026Updated last month
• Infinity-Type-Cafe / ntype-cafe-summer-school

  View on GitHub
  ntype cafe summer school resources
  ☆146Jun 16, 2024Updated last year
• oboard / mocket

  View on GitHub
  A web framework for MoonBit.
  ☆82Jan 22, 2026Updated 3 weeks ago
• justjavac / moonbit-webview

  View on GitHub
  MoonBit bindings for webview, a tiny library for creating web-based desktop GUIs.
  ☆30Jan 13, 2026Updated last month
• Guest0x0 / pruning-tutor

  View on GitHub
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆26Oct 20, 2022Updated 3 years ago
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• moonbitlang / minimoonbit-public

  View on GitHub
  ☆62Jun 5, 2025Updated 8 months ago
• moonbitlang / moonbit-RFCs

  View on GitHub
  RFCs of MoonBit lang
  ☆18Apr 17, 2024Updated last year
• HarrisonGrodin / ATPL24

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Jul 24, 2024Updated last year
• moonbit-community / Community-Tasks

  View on GitHub
  MoonBit 社区任务列表
  ☆31Apr 27, 2025Updated 9 months ago
• Trebor-Huang / history

  View on GitHub
  History of type theory (Chinese).
  ☆360May 25, 2025Updated 8 months ago
• yuyan-lang / yuyan

  View on GitHub
  豫言
  ☆27Nov 15, 2025Updated 2 months ago
• kokic / kodama

  View on GitHub
  A Typst-friendly static Zettelkästen site generator.
  ☆169Jan 31, 2026Updated 2 weeks ago