A MoonBit framework for building native desktop applications with a web frontend
☆33Oct 18, 2026Updated this week
Alternatives and similar repositories for proton
Users that are interested in proton are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lightweight, WebAssembly-native Canister Development Kit (CDK) for building smart contracts on the Internet Computer (ICP) with the Moo…☆21Dec 9, 2025Updated 10 months ago
- ☆12Updated this week
- A native MoonBit port of the Loro CRDT engine☆22Jan 28, 2026Updated 8 months ago
- A slow and insecure runtime for WebAssembly☆31Updated this week
- Automatic testing of MoonBit programs☆35Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆22Updated this week
- ☆14Oct 30, 2024Updated last year
- Rust-like syntax for WebAssembly featuring a full toolchain for conversion, type-checking, and auto-formatting.☆54Updated this week
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- A terminal text editor written in MoonBit☆10Apr 7, 2025Updated last year
- ☆13Apr 23, 2023Updated 3 years ago
- ☆13May 26, 2026Updated 4 months ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆19Jul 24, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A cross-platform desktop note-taking application built with Tauri, featuring a modern user interface using Vue, TypeScript, and Rust for …☆19Updated this week
- A Wasm4 binding for MoonBit☆29Updated this week
- Command Line Argument Parser for MoonBit☆15Nov 3, 2025Updated 11 months ago
- ☆18Updated this week
- An experimental MoonBit binding for Cloudflare Worker☆17Jun 3, 2025Updated last year
- ☆35Updated this week
- async programming library for MoonBit☆71Updated this week
- Getting started tutorial for scripting using sbt.☆11Aug 9, 2021Updated 5 years ago
- c++控制台应用程序——实现简易的学生管理系统，仅供初学者学习交流使用☆10Jun 21, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Local guardrails for coding agents. Policy, approvals, 86 safety packs, OS sandbox, audit trail — no Docker.☆42Aug 20, 2026Updated last month
- Haskell bot for HipChat☆10Aug 8, 2016Updated 10 years ago
- Preview tmLanguage grammar files in VSCode.☆18Feb 11, 2025Updated last year
- moon agent rewritten in async☆46May 21, 2026Updated 4 months ago
- ☆22Feb 13, 2024Updated 2 years ago
- Embedded Text Editor for Dear ImGui☆18Jul 11, 2023Updated 3 years ago
- 帶你探索 functional programming☆26Feb 7, 2024Updated 2 years ago
- Dear ImGui wrapper along with some other useful libraries.☆22Feb 11, 2023Updated 3 years ago
- An experimental game engine in MoonBit.☆44Sep 7, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Esoteric Programming Languages, Formally☆61Sep 6, 2026Updated last month
- ☆24Updated this week
- Manage multiple MoonBit installations with ease☆26Sep 23, 2026Updated 3 weeks ago
- A Tiny, Friendly Companion to LLVM☆48Jan 12, 2026Updated 9 months ago
- MoonBit bindings for webview, a tiny library for creating web-based desktop GUIs.☆40Jun 14, 2026Updated 4 months ago
- A NES emulator in MoonBit☆58Apr 29, 2026Updated 5 months ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Aug 26, 2026Updated last month