Typed Haskell eDSL for writing efficient Plutus Core validators.
Purpose-built smart contract language and toolchain for Cardano, compiling to UPLC.
Smart contract DSL for Cardano with a single-file, dependency-free JavaScript compiler.
Domain-specific language for financial contracts on Cardano, built on Plutus.
Smart contract language for Cardano written as a strict subset of Python.