Symbolic framework
☆24Apr 8, 2026Updated 2 months ago
Alternatives and similar repositories for symbolic
Users that are interested in symbolic 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 helper library for working with Plutus blueprints (Aiken or Plutarch)☆19Mar 23, 2026Updated 2 months ago
- ☆43May 29, 2026Updated 2 weeks ago
- Governance modules for Cardano protocols☆52Aug 26, 2024Updated last year
- A multisig Wallet for the Cardano Ecosystem☆11Dec 24, 2025Updated 5 months ago
- Cardano API☆39Jun 9, 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.
- account based model simplified and aerodynamic like a bullet☆23Mar 25, 2025Updated last year
- Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.☆19Oct 16, 2025Updated 7 months ago
- Application backend for Plutus smart contracts on Cardano☆74Feb 3, 2026Updated 4 months ago
- Select coins, build transactions☆19Jun 9, 2026Updated last week
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- Hydrozoa: Lightweight multi-party state channels for Cardano☆19Updated this week
- Plutarch 2.0☆19Mar 31, 2025Updated last year
- ☆18Mar 1, 2025Updated last year
- A highly scalable, production-ready transaction builder and off-chain framework for dApps and devs on Cardano.☆88Updated 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.
- An Open-Source Cardano wallet extension, provides proactive protection from phishing using ML modules and community insights.☆10May 1, 2026Updated last month
- A library for stateful property-based testing☆35May 4, 2026Updated last month
- Setup guide to create private Cardano testnet and run sample transactions including a Plutus contract example. This environment can be u…☆48Jan 31, 2023Updated 3 years ago
- The New Pact☆25Oct 20, 2025Updated 7 months ago
- The smart contracts powering jpg.store☆18Jul 2, 2024Updated last year
- An optimizer for untyped plutus core☆39Jan 19, 2023Updated 3 years ago
- ☆20Nov 26, 2024Updated last year
- A DSL for describing and visualizing transactions in UTxO-based blockchains☆69Jun 8, 2026Updated last week
- Unit testing with resource estimation for Plutus☆31Jan 8, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A set of development tools for building on Cardano by creating a local devnet.☆68Updated this week
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆133Updated this week
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32May 17, 2026Updated 3 weeks ago
- ❇️ A WebSocket JSON/RPC bridge for Cardano☆327May 14, 2026Updated last month
- Community Audited Donation Proofs☆11Feb 17, 2025Updated last year
- VibrantNet (formerly HAZELnet) is an enterprise-grade community integration tool for Discord that allows stakepool operators and Cardano …☆12Dec 19, 2024Updated last year
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆31Jun 3, 2026Updated last week
- Maestro MCP Server for Bitcoin☆23Apr 30, 2026Updated last month
- Jambhala Cardano Development Suite☆26Jan 16, 2025Updated last year
- 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.
- A Cardano bot challenge to showcase the capabilities of the eUTxO model.☆37Mar 11, 2026Updated 3 months ago
- ☆14Apr 14, 2026Updated 2 months ago
- ☆52Mar 12, 2026Updated 3 months ago
- ☆44Nov 4, 2022Updated 3 years ago
- A UPLC Debugger for the Cardano Ecosystem☆21Dec 3, 2025Updated 6 months ago
- Nix tools for building Liqwid projects☆15Jan 15, 2024Updated 2 years ago
- Off-chain code to interact with Genius Yield DEX contracts☆18Jan 12, 2026Updated 5 months ago