Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents
☆20May 19, 2026Updated 4 months ago
Alternatives and similar repositories for SWE-AGI
Users that are interested in SWE-AGI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The c compiler optimized for speed written in MoonBit☆44Mar 5, 2026Updated 6 months ago
- ☆18Jul 11, 2026Updated 2 months ago
- ☆14Oct 30, 2024Updated last year
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated last year
- ☆12Mar 20, 2025Updated last year
- 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.
- ☆28Oct 29, 2025Updated 10 months ago
- Automatic testing of MoonBit programs☆35Aug 7, 2026Updated last month
- website of mooncakes.io, written in MoonBit☆26Updated this week
- SKILLs of MoonBit language and toolchain☆75Updated this week
- ☆35Updated this week
- Write llvm in moonbit!☆30Updated this week
- A library that supports koush's QuickJS Debugging Protocol☆12Mar 23, 2026Updated 5 months ago
- Experimental Spin SDK for the MoonBit programming language.☆25Updated this week
- Brutalist Todo app with GraphQL, Auth0, a Flask backend and ReasonML frontend.☆12Jan 30, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- morm is a ORM toolkit for MoonBit.☆18Updated this week
- A Wasm VM written in MoonBit☆45Jul 20, 2026Updated last month
- A native MoonBit port of the Loro CRDT engine☆22Jan 28, 2026Updated 7 months ago
- Reason / OCaml bindings to the freetype2+harfbuzz library☆21Dec 18, 2019Updated 6 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆24Updated this week
- tree-sitter grammar for moonbit☆44Jul 22, 2026Updated last month
- Command Line Argument Parser for MoonBit☆15Nov 3, 2025Updated 10 months ago
- S-expression pretty-printer☆22Jul 10, 2026Updated 2 months ago
- A Key–Value Database☆12Oct 1, 2023Updated 2 years ago
- 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.
- OCaml/menhir implementation of a new Haxe parser.☆17Jun 10, 2018Updated 8 years ago
- Extism PDK for the MoonBit programming language.☆39Updated this week
- A general Web Assembly toolkit written in MoonBit☆21Updated this week
- ☆21Nov 22, 2024Updated last year
- moonbit version of c11 compiler☆60Feb 2, 2026Updated 7 months ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- A Wasm4 binding for MoonBit☆29Aug 11, 2026Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- MoonBit 社区任务列表☆34Apr 27, 2025Updated last year
- 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.
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 2 weeks ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- 豫言☆27Sep 10, 2026Updated last week
- ☆24Aug 23, 2026Updated 3 weeks ago
- A work-in-progress OCaml client for Sentry☆27Aug 12, 2022Updated 4 years ago
- High-precision Math library implemented by moonbit☆13Aug 14, 2026Updated last month
- Numerical calculus methods for MoonBit, including differentiation, quadrature, and related scientific computing routines.☆11Jun 7, 2026Updated 3 months ago