Automatic testing of MoonBit programs
☆32Apr 26, 2026Updated this week
Alternatives and similar repositories for quickcheck
Users that are interested in quickcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Oct 30, 2024Updated last year
- ☆11Mar 20, 2025Updated last year
- High-precision Math library implemented by moonbit☆11Sep 6, 2025Updated 7 months ago
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Apr 9, 2026Updated 3 weeks ago
- A simple, declarative, functional web UI framework☆109Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- experimental packages for moonbitlang/core☆54Apr 9, 2026Updated 3 weeks ago
- ☆30Apr 22, 2026Updated last week
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated last year
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆12Jul 29, 2025Updated 9 months ago
- website of mooncakes.io, written in MoonBit☆24Apr 2, 2026Updated 3 weeks ago
- A Wasm4 binding for MoonBit☆29Jan 29, 2026Updated 3 months ago
- ☆13Oct 28, 2025Updated 6 months ago
- MoonBit language interpreter☆16Apr 11, 2026Updated 2 weeks ago
- A NES emulator in MoonBit☆56Apr 22, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An experimental game engine in MoonBit.☆35Apr 24, 2026Updated last week
- ☆62Jun 5, 2025Updated 10 months ago
- Protobuf generator for MoonBit programming language☆14Apr 22, 2026Updated last week
- ☆20Nov 24, 2024Updated last year
- Manipulate Python Objects in Moonbit!☆32Jan 6, 2026Updated 3 months ago
- ☆59Nov 20, 2024Updated last year
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆19Apr 21, 2026Updated last week
- tree-sitter grammar for moonbit☆39Apr 22, 2026Updated last week
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆71Mar 2, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Write llvm in moonbit!☆26Jan 28, 2026Updated 3 months ago
- Manage multiple MoonBit installations☆19Feb 9, 2026Updated 2 months ago
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated last year
- async programming library for MoonBit☆59Apr 24, 2026Updated last week
- MoonBit 社区任务列表☆33Apr 27, 2025Updated last year
- RFCs of MoonBit lang☆18Apr 17, 2024Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Updated this week
- Linear Algbra lib in MoonBit☆14Apr 22, 2026Updated last week
- This is a linear algebra library written using MoonBit, aiming to fill the gap in scientific computing applications in the MoonBit ecosys…☆14Feb 4, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MoonBit bindings for webview, a tiny library for creating web-based desktop GUIs.☆35Apr 20, 2026Updated last week
- SKILLs of MoonBit language and toolchain☆72Apr 23, 2026Updated last week
- A web framework for MoonBit.☆89Updated this week
- A well-documented minimal dependently-typed language for my friend Lyzh☆26Feb 7, 2025Updated last year
- The build system and package manager for MoonBit☆393Apr 23, 2026Updated last week
- Pandas lib in Moonbit☆11Updated this week
- A Wasm VM written in MoonBit☆42Feb 4, 2026Updated 2 months ago