BRIK64
SDKs

Drop verified operations into your code.

No new language. No compiler install. Add a library to your existing Rust, JavaScript, or Python project. Every function built from verified operations automatically carries Φc = 1. Works with your existing code.

$ cargo add brik64-core
crates.io/crates/brik64-core
no_std support for embeddedCrypto feature flagFull verified operations APIZero-cost composition in Rust (compile-time). Minimal runtime overhead in JavaScript and Python
use brik64_core::prelude::*;

fn validated_transfer(amount: f64, balance: f64) -> Result<f64, BrikError> {
    let check = compose::sequential(
        ops::clamp(0.01, 1_000_000.0),
        ops::assert_lte(balance),
    );
    check.apply(amount)
}

COMPOSITION

Three primitives. Infinite composition.

S

Sequential

Output of f feeds into g. Pipeline. compose.sequential(f, g)

P

Parallel

Both f and g execute on the same input. compose.parallel(f, g)

C

Conditional

Branch: if predicate then f else g. compose.conditional(p, f, g)

Correctness preserved by composition. Mathematically certified. Any function built from Core monomers via EVA operators retains Φc= 1 — regardless of which language it runs in.

Start building — free

Add one library. Get verified operations. No new language. Works with your existing code today.

SDK DocumentationLearn PCD