Skip to main content

​
Two Ways to Use BRIK-64

Option A — Install the brikc compiler if you want to write PCD programs and get formal Φ_c = 1 certification, auto-generated test suites, and cross-compilation to any target. Option B — Add a library if you want to use the 128 monomers (64 Core + 64 Extended) inside your existing Rust, JavaScript, or Python codebase right now — no new language required.

​
Option A — Install the brikc Compiler

One-line install (recommended): 
curl -fsSL https://brik64.dev/install | bash
Supported platforms: macOS (arm64, x86_64) and Linux (x86_64, arm64). The script auto-detects your platform and installs the latest brikc binary to /usr/local/bin/. 
curl -fsSL https://brik64.dev/install | bash
Installs the latest brikc binary to /usr/local/bin/.

​
Verify the installation

brikc --version
# brikc v4.0.0-beta.2 (fixpoint: 7229cfcde9...)

brikc check --self
# ✓ Self-compilation fixpoint verified
# ✓ Hash: 7229cfcde9613de42eda4dd207da3bac80d2bf2b5f778f3270c2321e8e489e95

brikc catalog
# Lists all 128 monomers with signatures

​
Your first program

cat > hello.pcd << 'EOF'
PC hello {
    let _ = MC_58.WRITE("Hello, world!\n");
    OUTPUT 0;
}
EOF

# Compile to native ELF
brikc compile hello.pcd && ./a.out
# Hello, world!

# Compile to JavaScript with auto-generated test suite
brikc compile hello.pcd --target js --emit-tests
# build/hello.js  +  build/hello.spec.js
--emit-tests generates a complete test suite alongside your code — property tests, boundary tests, and regression anchors derived from the formal proof. See Testing & Debugging.

​
Option B — BRIK-64 Libraries

Use the 128 monomers (64 Core + 64 Extended) inside your existing project. No new language, no compiler install required.
Library usage gives you Digital Circuitality as a methodology — finite operations, deterministic behavior, explicit composition. Formal Φ_c certification, auto-generated test suites, and registry badges require the PCD compiler pipeline.
cargo add brik64-core

use brik64_core::{mc, eva};

// Arithmetic — saturating, never panics
let sum  = mc::arithmetic::add8(200, 100);   // 255
let (q, r) = mc::arithmetic::div8(17, 5);    // (3, 2)

// Crypto
let hash = mc::crypto::sha256(b"hello");

// EVA composition
let pipeline = eva::seq(
    |x| mc::arithmetic::add8(x, 10),
    |x| mc::arithmetic::mul8(x, 2),
);
crates.io/crates/brik64-core

​
Next Steps

Quick Start

Write and compile your first PCD program in 5 minutes.

PCD Tutorial

Step-by-step introduction to PCD syntax and certified compilation.

Testing & Debugging

How auto-generated test suites work and what Extended monomers require.

All 128 Monomers

Complete reference for MC_00–MC_127 with signatures and examples.