Convex Sandbox
DemoLive in-browser REPL for Convex Lisp — explore the CVM, submit transactions, and experiment against a real network without installing anything.
Links
- Homepage https://convex.world/sandbox
Related projects
- CAD008: Compiler Convex Architecture Documents Puts a full expander + compiler on-chain, so smart contracts can legitimately write and deploy smart contracts using CVM ops as the target IR. Any language that lowers to Convex Lisp or CVM ops becomes a first-class on-chain language — Solidity-style single-language lock-in is structurally avoided.
- CAD009: Expanders and Macros Convex Architecture Documents Brings Dybvig-Friedman-Haynes expansion-passing-style macros on-chain — more general than traditional macro systems and strong enough to host entirely new languages or DSLs inside a single eval. Contract authors can extend the language itself rather than routing around its limits.
- CAD013: Metadata Convex Architecture Documents Attaches a structured map to every defined symbol — docstrings, type hints, access flags — readable by tools, IDEs and explorers without a separate registry. Makes on-chain code genuinely self-describing so that wallets and agents can introspect contracts they have never seen before.
- CAD026: Convex Lisp Convex Architecture Documents A Clojure-inspired homoiconic Lisp tuned to the CVM's immutable persistent data structures, compiling on-chain and supporting REPL-driven development against a live network. General-purpose languages aren't deterministic enough and Solidity can't express the CVM's richer account model — Lisp is the pragmatic fit.
- CAD032: CVX Reader Convex Architecture Documents Defines the textual .cvx syntax via an ANTLR grammar covering CVM literals, data structures, addresses and doubles — an unambiguous print/parse round-trip shared by REPLs, tooling, and file storage. The Lisp equivalent of having a real spec instead of vendor-specific dialects.
- Interactive REPL Explained Videos & Talks Interactive REPL explained — how Convex's read–eval–print loop enables live on-chain development.