jegi/Beijing-exercises external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jegi/Beijing-exercises

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jegi/Beijing-exercises)

Close

jegi / Beijing-exercisesView on GitHubMore

• External links
• Readme badge

Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023

☆34Oct 13, 2023Updated 2 years ago

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 11 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
• moonbitlang / quickcheck

  View on GitHub
  Automatic testing of MoonBit programs
  ☆28Updated this week
• moonbitlang / parser

  View on GitHub
  ☆28Feb 28, 2026Updated last 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
• zxch3n / moon-crdt

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

  View on GitHub
  ☆13Feb 18, 2025Updated last year
• DexerMatters / DScript

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

  View on GitHub
  An experimental game engine in MoonBit.
  ☆21Feb 28, 2026Updated last week
• moonbit-community / moonbit-workflow

  View on GitHub
  ☆13Oct 28, 2025Updated 4 months ago
• moonbit-community / moonbit-overlay

  View on GitHub
  Reproducible nix overlay of binary distributed MoonBit toolchains and LSP
  ☆15Feb 26, 2026Updated last week
• yuyan-lang / yuyan

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

  View on GitHub
  A NES emulator in MoonBit
  ☆57Sep 17, 2025Updated 5 months ago
• FrenchPicnic / MoonBit-Code-JAM-2024

  View on GitHub
  ☆11Nov 23, 2024Updated last year
• janestreet / handled_effect

  View on GitHub
  Typed effects API for OxCaml
  ☆25Jan 15, 2026Updated last month
• nick8325 / equinox

  View on GitHub
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆22Sep 20, 2025Updated 5 months ago
• moonbit-community / linalg

  View on GitHub
  Linear Algbra lib in MoonBit
  ☆14Jan 29, 2026Updated last month
• KonjacSource / ShiTT

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

  View on GitHub
  ☆62Jun 5, 2025Updated 9 months ago
• NeutronLauncher-Dev / Neutron

  View on GitHub
  A launcher and mod loader for Minecraft PE
  ☆15Feb 25, 2020Updated 6 years ago
• chawyehsu / moonup

  View on GitHub
  Manage multiple MoonBit installations
  ☆17Feb 9, 2026Updated 3 weeks ago
• moonbitlang / moonyacc

  View on GitHub
  MoonYacc is an LR(1) parser generator for MoonBit programming language.
  ☆21Feb 13, 2026Updated 3 weeks 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 5 months ago
• 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
• Mini-Moonbit-Machine / mmm

  View on GitHub
  ☆20Nov 24, 2024Updated last year
• 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 27, 2026Updated last week
• 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.
  ☆177Feb 27, 2026Updated last week
• Yoorkin / MoonUI

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

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

  View on GitHub
  A Wasm4 binding for MoonBit
  ☆28Jan 29, 2026Updated last month
• charlesfrye / raskell

  View on GitHub
  RASP-L in Haskell for my fellow rascals
  ☆20Dec 3, 2023Updated 2 years ago
• gmlewis / spin-moonbit-sdk

  View on GitHub
  Experimental Spin SDK for the MoonBit programming language.
  ☆24Feb 15, 2026Updated 2 weeks ago
• fpottier / pprint

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

  View on GitHub
  A library that supports MCPE Websocket Protocol
  ☆20Nov 20, 2025Updated 3 months ago
• 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