Documentation
Learn Joule
From first program to formal verification.
Getting Started
Installation & Quick Start
Install the compiler, create your first project, and understand energy receipts.
Language Guide
Core Concepts
Ownership, borrowing, pattern matching, traits, generics, effects, and energy budgets.
Energy System
Picojoule Accounting
Energy signatures, budgets, receipts, thermal models, and compliance reporting (SCI, CSRD, RGESN).
Verification
Formal Proofs
Kani bounded model checking, property-based testing, design-by-contract, and the verification ladder.
Standard Library
API Reference
Complete reference for all standard library modules, with energy cost annotations on every function.
Compute
GPU, TPU & NPU
Target accelerators from a single codebase with energy-aware dispatch across CPU, GPU, TPU, and NPU.
Embedded
MCU & Edge
No-std support, bare-metal targets, RTOS integration, and firmware development with energy budgets.
Interactive
Playground
Write and run Joule code in your browser with live energy receipts.