Features

Everything you need.
Nothing you don't.

Arc is a complete development environment for every language, with energy metering, AI assistance, and a migration path to maximum efficiency.

Universal Language Support

26+ languages with full LSP

From COBOL to Zig, from Fortran to TypeScript. Full language server protocol integration for every supported language. Syntax highlighting, completion, diagnostics, refactoring — all energy-metered.

RustPythonJavaCOBOLGoC++TypeScript+20 more
Energy Metering

Every operation in picojoules

Regardless of the language you write in, Arc meters the energy cost of every function call, allocation, and loop iteration. See inline energy annotations, module-level totals, and per-build receipts.

process_order()127.4 uJ
validate_input()2.1 uJ
db_write()89.7 uJ
The Lift Engine

Any language to Lux or Joule

One-click migration from any supported language to Lux (for web) or Joule (for systems). The Lift engine preserves semantics, adds formal verification to the output, and shows the energy savings before you commit.

Python → Lux 75.88x savings
Legacy Intelligence

COBOL copybooks. Ada SPARK. Fortran modules.

Arc understands legacy code at a structural level. COBOL copybooks are parsed into typed schemas. Ada SPARK contracts become Joule verification contracts. Fortran COMMON blocks become safe modules.

16-Level Cascade

Deterministic AI assistance

The cascade resolves queries through 16 deterministic levels. L0-L2 run locally with zero network. LLMs are an escape hatch at L3+, not the default. You get answers in picojoules, not dollars. 

// 16-level deterministic cascade
// L0-L2: local (no network)
// L3+: LLM is escape hatch, not default
L0  Cache          <1ms    0 pJ
L1  Index          <5ms    12 pJ
L2  Federation     <50ms   340 pJ
L3  LLM (cheap)    <2s     48 uJ
...
L10 Deep verify    <30s    2.1 mJ
Graph-Native Storage

JouleDB — code as vector graph

Code is stored as a native vector graph in JouleDB, not flat files. Search is similarity, navigation is traversal, refactoring is graph mutation. Cross-language references resolve instantly.

Formal Verification

Kani proofs on migrated code

Code that passes through the Lift engine gets automatic bounded model checking via Kani. Not tested. Proven. 182+ proofs across 10 compiler crates verify correctness for all possible inputs.

11 Coding Modes

From AI-generated to hand-crafted

AI Code, No-Code, Low-Code, Visual, Pair, Solo, Review, Debug, Profile, Deploy, and Monitor modes. Switch between them with a keystroke. Every mode is energy-metered.

Real-time Collaboration

Multiplayer editing + video + chat

CRDT-based collaborative editing, integrated video calls, chat, and shared terminals. No external tools needed. Every collaboration session shows per-participant energy usage.

Multi-Target Compilation

CPU, GPU, TPU, NPU, WASM

Compile Lux and Joule code to any target: native binaries, WASM (398 KB), GPU compute shaders, TPU/NPU accelerator code. Energy receipts per target let you pick the cheapest deployment.