🦾 Simple, powerful, and extensible Ergo Blockchain SDK
-
Updated
Nov 19, 2025 - TypeScript
🦾 Simple, powerful, and extensible Ergo Blockchain SDK
Experimental prototype of Plutus smart contract framework: includes reference interpreter, sample contracts, test scaffolding, and tools for development, simulation, and verification of Plutus scripts.
Formal specifications and executable models of the Bcc Ledger across multiple eras. Includes Haskell code, LaTeX specs, and formal proofs for validation, testing, and reference implementation.
WES 区块链智能合约开发工具包 - Go 语言版本。提供业务语义优先的合约开发能力,支持 TinyGo WASM 编译,零外部依赖,专为企业级智能合约开发设计。
This is a cookiecutter (project template) for an Ergo blockchain project on Scala
WES 区块链智能合约开发工具包 - JavaScript/TypeScript 版本。支持 TypeScript/AssemblyScript 编写合约,提供业务语义优先的 API,专为 WASM 智能合约开发优化。
Master Thesis FER
🚀 Explore Bcc Ledger's formal specifications and executable models, vital for enhancing blockchain development and ensuring robust implementations.
Add a description, image, and links to the eutxo topic page so that developers can more easily learn about it.
To associate your repository with the eutxo topic, visit your repo's landing page and select "manage topics."