lley154 / helios

Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.

Helios Lang

Helios is a Domain Specific Language that compiles to Plutus-Core (i.e. Cardano on-chain validator scripts). Helios is a non-Haskell alternative to Plutus.

Helios is purely functional, strongly typed, and has a simple curly braces syntax. It notably supports closures, functions with multiple return values, OOP-like methods, and enums as tagged unions.

The Helios library is written in Javascript, with complete Typescript type-coverage through JSDoc comments. This library lets you compile Cardano smart contracts and create Cardano transactions. Helios is all you need to build 100% client-side dApps for Cardano.

Example: time-lock

spending time_lock

struct Datum {
    lockUntil:   Time
    owner:       PubKeyHash // the owner can always unlock the assets
    beneficiary: PubKeyHash // beneficiary can only unlock the assets after 'lockUntil'
}

func main(datum: Datum, _, ctx: ScriptContext) -> Bool {
    tx: Tx = ctx.tx;
    now: Time = tx.time_range.start;

    tx.is_signed_by(datum.owner) || (
        tx.is_signed_by(datum.beneficiary) &&
        now > datum.lockUntil
    )
}

User guide

The Helios language and Helios API are covered extensively by the online book.

Online playground

There is an online coding playground.

VSCode plugin

There is a VSCode plugin called Helios that can be installed through the extensions marketplace. Currently it only supports syntax highlighting. Please help us improve this extension by contributing to the helios-ide-plugins repository.

Sponsoring

For sponsoring we prefer using the Cardano blockchain itself (instead of Patreon or Github's sponsor system).

Our Cardano address is the same one where the helioslang adahandle is located:

addr1qxyd3shxugqkrkdpwgjq522cu7h4lkr8qnz9uemd4w68p970n6h44fq8ujuyu807vll9atjpc8z6zl0pyv6n2neezysqv5rjvd

Please join our Discord and tell us what you'd like your sponsorship to be used for before sending funds.

Acknowledgements

Early contributors who deserve special acknowledgement:

• Ch1n3du: improved syntax, documentation
• Tanyalouise: logo
• Cnftacademy: testing
• mikky-j: documentation