🦾 Simple, powerful, and extensible Ergo Blockchain SDK

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.

Experimental prototype of Plutus smart contract framework: includes reference interpreter, sample contracts, test scaffolding, and tools for development, simulation, and verification of Plutus scripts.

Harness the power of Cardano with this simple dApp connector generator for GameChanger Wallet, using GCscripts, JSON-based scripts that gets packed into ready to use URLs

Tutortials to show how to use the Cardano and also explain aspects of the underlying technology.

This is a cookiecutter (project template) for an Ergo blockchain project on Scala

Master Thesis FER

eUTXO nft playground on Ergo

🚀 Explore Bcc Ledger's formal specifications and executable models, vital for enhancing blockchain development and ensuring robust implementations.

🛠️ Build and explore a prototype of the Plutus language, featuring user-defined types and a structured interface for blockchain integration.