🦾 Simple, powerful, and extensible Ergo Blockchain SDK
-
Updated
Sep 10, 2025 - TypeScript
#
eutxo
Here are 8 public repositories matching this topic...
Experimental prototype of Plutus smart contract framework: includes reference interpreter, sample contracts, test scaffolding, and tools for development, simulation, and verification of Plutus scripts.
haskell prototype simulation smart-contracts blockchain domain-specific-language plutus off-chain on-chain eutxo contract-validation formal-model
-
Updated
Oct 8, 2025 - Haskell
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.
haskell nix functional-programming smart-contracts blockchain proof consensus ledger specification domain-specific-language formal-specification utxo executable-specification eutxo lsabelle multi-era
-
Updated
Oct 7, 2025 - Haskell
This is a cookiecutter (project template) for an Ergo blockchain project on Scala
-
Updated
Feb 22, 2022 - Scala
Master Thesis FER
middleware nft utxo cardano erc721 nonfungible cardano-node cardano-api nonfungibletoken cardano-nft nft-generator eutxo cardano-middleware
-
Updated
Jun 21, 2023 - TeX
Improve this page
Add a description, image, and links to the eutxo topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the eutxo topic, visit your repo's landing page and select "manage topics."