Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents
☆20May 19, 2026Updated last month
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:
- ☆17Updated this week
- ☆14Oct 30, 2024Updated last year
- ☆33Updated this week
- Generate MoonBit bindings from TypeScript definitions via the TypeScript compiler API☆11Jul 29, 2025Updated 11 months ago
- A Wasm VM written in MoonBit☆44Jun 28, 2026Updated 2 weeks 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.
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆22Updated this week
- ☆12Mar 20, 2025Updated last year
- Automatic testing of MoonBit programs☆35Updated this week
- A library that supports koush's QuickJS Debugging Protocol☆12Mar 23, 2026Updated 3 months ago
- Experimental Spin SDK for the MoonBit programming language.☆24Mar 31, 2026Updated 3 months ago
- An experimental game engine in MoonBit.☆41Jun 25, 2026Updated 3 weeks ago
- Brutalist Todo app with GraphQL, Auth0, a Flask backend and ReasonML frontend.☆12Jan 30, 2019Updated 7 years ago
- A Wasm4 binding for MoonBit☆28Jan 29, 2026Updated 5 months ago
- A native MoonBit port of the Loro CRDT engine☆21Jan 28, 2026Updated 5 months 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.
- Reason / OCaml bindings to the freetype2+harfbuzz library☆21Dec 18, 2019Updated 6 years ago
- S-expression pretty-printer☆22Updated this week
- A Key–Value Database☆12Oct 1, 2023Updated 2 years ago
- ☆21Nov 22, 2024Updated last year
- OCaml/menhir implementation of a new Haxe parser.☆17Jun 10, 2018Updated 8 years ago
- Extism PDK for the MoonBit programming language.☆38Jun 9, 2026Updated last month
- website of mooncakes.io, written in MoonBit☆25Jun 18, 2026Updated 3 weeks ago
- A general Web Assembly toolkit written in MoonBit☆21Jul 6, 2026Updated last week
- tree-sitter grammar for moonbit☆41Jul 6, 2026Updated last week
- 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.
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated last year
- Sources of the EuroProofNet web site.☆13Jun 12, 2026Updated last month
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Custom guide to Barcelona by Brains & Beards. Experimental application written Ocaml/Reason.☆18Aug 23, 2018Updated 7 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- 豫言☆27Updated this week
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 10 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- 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.
- High-precision Math library implemented by moonbit☆12Jul 8, 2026Updated last week
- ☆24Updated this week
- Numerical calculus methods for MoonBit, including differentiation, quadrature, and related scientific computing routines.☆11Jun 7, 2026Updated last month
- A work-in-progress OCaml client for Sentry☆27Aug 12, 2022Updated 3 years ago
- a MoonBit web app template using rabbita☆18Jun 12, 2026Updated last month
- Grafana datasource plugin for GreptimeDB☆11Dec 26, 2024Updated last year
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago