Tools and Projects

Tip

For beginners and quick experimentation, start with the WebIDE. It runs in your browser—no installation.
For contract development, move to SimplicityHL, the high‑level Rust-like language that compiles to core Simplicity.

• WebIDE

  Browser editor and analyzer. Fast iteration.

• SimplicityHL

  High-level Rust-like language compiling to core Simplicity.

• Haskell Simplicity

  Reference implementation; source for derived Rust and C code.

• Rust Simplicity

  Production-oriented library for integrating validated programs.

• C Implementation

  Consensus-focused low-level code.

• Coq / Rocq Proofs

  Formal semantics and machine-checked proofs.

• Hal-Simplicity CLI

  Build, inspect, analyze programs.

• VS Code Extension

  Syntax highlighting and editor support.

• stark-symphony (ZKP)

  Zero-knowledge prover components in SimplicityHL.

• simplicity-bn254 (ZKP)

  A BN254 pairing-friendly elliptic curve with Optimal Ate pairing in SimplicityHL.

• Simply

  Supplemental CLI tooling supporting SimplicityHL workflows.

• Pythia Price Oracle

  An oracle that can do price attestations.

Next steps: Open the WebIDE, compile a minimal contract, then clone SimplicityHL to start building real contracts.