Safe by Design

To write safe smart contracts you need a safe language. Pact is immutable, deterministic, and Turing-incomplete, fighting bugs and exploits while offering the full power of a high-level language. Atomic transactions keep your data sane.

Fast, Legible Code

Based on LISP, Pact strikes a balance between low-level directly executable expressions and high-level declarative code. It parses fast and executes faster, and is stored unmodified on the ledger: you always know what code you're running.

Get Started

Try pact in the browser below, or download the Atom editor and install the language-pact package. Pre-built binaries are available for some platforms, and you can always build from source. Reference docs are available at readthedocs. Try it now!

Try Pact Here or Launch Full Screen Editor

The magic of in-browser Haskell execution is brought to you by GHCJS