Alternatives and similar repositories for Beijing-exercises

Users that are interested in Beijing-exercises are comparing it to the libraries listed below

• moonbit-community / moonbit-arduino

  View on GitHub
  ☆11Mar 20, 2025Updated 10 months ago
• HarrisonGrodin / ATPL24

  View on GitHub
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Jul 24, 2024Updated last year
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• zxch3n / moon-crdt

  View on GitHub
  ☆14Oct 30, 2024Updated last year
• moonbitlang / parser

  View on GitHub
  ☆28Updated this week
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• moonbit-community / selene

  View on GitHub
  An experimental game engine in MoonBit.
  ☆21Jan 21, 2026Updated 3 weeks ago
• moonbit-community / moonbit-overlay

  View on GitHub
  Reproducible nix overlay of binary distributed MoonBit toolchains and LSP
  ☆15Dec 23, 2025Updated last month
• DexerMatters / DScript

  View on GitHub
  A new script language based on Java
  ☆11Apr 8, 2020Updated 5 years ago
• moonbit-community / moonbit-workflow

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

  View on GitHub
  ☆13Feb 18, 2025Updated 11 months ago
• yuyan-lang / yuyan

  View on GitHub
  豫言
  ☆27Nov 15, 2025Updated 2 months ago
• moonbit-community / MoonbitNES

  View on GitHub
  A NES emulator in MoonBit
  ☆57Sep 17, 2025Updated 4 months ago
• janestreet / handled_effect

  View on GitHub
  Typed effects API for OxCaml
  ☆23Jan 15, 2026Updated 3 weeks ago
• FrenchPicnic / MoonBit-Code-JAM-2024

  View on GitHub
  ☆11Nov 23, 2024Updated last year
• KonjacSource / ShiTT

  View on GitHub
  Deprecated
  ☆39Nov 2, 2025Updated 3 months ago
• moonbit-community / linalg

  View on GitHub
  Linear Algbra lib in MoonBit
  ☆14Jan 29, 2026Updated 2 weeks ago
• nick8325 / equinox

  View on GitHub
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆22Sep 20, 2025Updated 4 months ago
• moonbitlang / minimoonbit-public

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

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

  View on GitHub
  A launcher and mod loader for Minecraft PE
  ☆15Feb 25, 2020Updated 5 years ago
• cu1ch3n / type-inference-zoo-wasm

  View on GitHub
  🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
  ☆21Sep 20, 2025Updated 4 months ago
• chawyehsu / moonup

  View on GitHub
  Manage multiple MoonBit installations
  ☆17Updated this week
• pku-dppl / TAPL-in-MoonBit

  View on GitHub
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆68Jul 9, 2025Updated 7 months ago
• AntonPing / prune-lang

  View on GitHub
  Prune is a constraint logic programming language with branching heuristic.
  ☆33Feb 4, 2026Updated last week
• moonbitlang / MoonBit-Code-JAM-2024

  View on GitHub
  ☆21Nov 22, 2024Updated last year
• Mini-Moonbit-Machine / mmm

  View on GitHub
  ☆20Nov 24, 2024Updated last year
• uds-psl / autosubst2

  View on GitHub
  Official repository of the Autosubst 2 project.
  ☆25May 8, 2023Updated 2 years ago
• kokic / kodama

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

  View on GitHub
  A Wasm4 binding for MoonBit
  ☆28Jan 29, 2026Updated 2 weeks ago
• CAIMEOX / CommandLisp

  View on GitHub
  A dialect of Lisp that designed for Minecraft Bedrock Command System.
  ☆18Dec 23, 2023Updated 2 years ago
• Yoorkin / MoonUI

  View on GitHub
  UI library written by moonbit-lang
  ☆21Oct 11, 2024Updated last year
• gmlewis / spin-moonbit-sdk

  View on GitHub
  Experimental Spin SDK for the MoonBit programming language.
  ☆24Updated this week
• fpottier / pprint

  View on GitHub
  A pretty-printing combinator library for OCaml
  ☆50Aug 7, 2024Updated last year
• ouuan / Hinata-Online-Judge

  View on GitHub
  一个有很多新增 feature 的 UOJ
  ☆22Sep 25, 2021Updated 4 years ago
• ying-teaching / python

  View on GitHub
  Python notes
  ☆10Aug 13, 2022Updated 3 years ago
• mcpews / mcpews

  View on GitHub
  A library that supports MCPE Websocket Protocol
  ☆19Nov 20, 2025Updated 2 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school

  View on GitHub
  ntype cafe summer school resources
  ☆146Jun 16, 2024Updated last year
• FizzyElt / functional-programming

  View on GitHub
  帶你探索 functional programming
  ☆26Feb 7, 2024Updated 2 years ago