Skip to main content

Install brikc

curl -fsSL https://brik64.dev/install | sh
Or download from github.com/brik64/dist/releases.

Write your first circuit

Create hello.pcd:
// hello.pcd — your first BRIK-64 circuit
let name = "Digital Circuitality";
let greeting = MC_40.CONCAT("Hello, ", name);
MC_58.WRITE(greeting);

Compile and run

brikc run hello.pcd
# Hello, Digital Circuitality!

Verify the circuit

brikc check hello.pcd
# ✓ Circuit closed: Φ_c = 1.000
# ✓ All monomers verified

Lift existing code to PCD

Already have code? The Lifter reverse-compiles it to PCD (10 languages supported):
brikc lift app.js -o app.pcd

Full roundtrip: Lift, Check, Build, Execute

# 1. Lift any source to PCD (JS, TS, TSX, Python, Rust, C, Go, COBOL, PHP, Java)
brikc lift calcPrice.js -o calcPrice.pcd

# 2. Verify circuit closure
brikc check calcPrice.pcd

# 3. Build to any target language
brikc build calcPrice.pcd -t python -o dist/

# 4. Execute certified output
python3 dist/calcPrice.py
The SSA transform handles variable reassignment automatically, so real-world code like total = total + tax lifts cleanly.