Skip to main content
← Back to Research

Cayley Algebraic Compiler (CAC)

Transforming HFF theorems into executable computational graphs.

The Cayley Algebraic Compiler (CAC) is Phase 2 of our technology stack. It acts as the bridge between abstract mathematical formalisms and concrete executable code.

Architecture

  • Algebraic Intermediate Representation (AIR): A strongly-typed IR preserving invariants during compilation.
  • Optimization Passes: Using Cayley-Dickson construction properties to eliminate redundant tensor contractions.
  • Target Generation: Emitting verified LLVM IR or raw CUDA kernels for hardware acceleration.

Explore Functions

See the compiled mathematical functions running live on the platform.

Browse Functions Library