One binary. Every guarantee.
Install brikc and start lifting, certifying, and compiling code from your terminal. A self-verifying compiler that ships with its own correctness proof.
[01] INSTALL
Up and running in 30 seconds
Four installation methods. One result: a 708 KB binary with zero dependencies that can verify its own compilation.
$ curl -fsSL https://brik64.dev/install | shbrikc --version → brikc 5.0.0-beta.1[02] COMMANDS
Everything from the terminal
Compile, lift, transpile, certify, publish, and connect — all through a single binary.
Usage
brikc compile src/main.pcd --target rustFlags
Example
[03] SYSTEM
Requirements
Operating Systems
- macOS 12+ (arm64, x86_64)
- Linux (Ubuntu 20.04+, Debian 11+, Fedora 36+)
- Windows 10+ (WSL2)
Self-Verifying Binary
The brikccompiler is itself a certified BRIK-64 program. It compiles to a 708 KB standalone x86-64 ELF — no Rust runtime, no libc dependency.
Verification
Run brikc verify to confirm the self-compilation fixpoint. Run brikc catalog to list all monomers with signatures.
Ready to start?
Install the CLI, pick your SDK, and certify your first function. Every line of code you certify is a line you never have to debug again.