About

Dijkstra Keystone builds deterministic computation infrastructure for decentralized finance. Our libraries produce identical results across x86, ARM, and WebAssembly — eliminating the reconciliation failures and cross-platform bugs that plague financial systems.

Named after Edsger Dijkstra, whose work on formal verification and program correctness shapes our engineering philosophy: precision is not optional when money is involved.

What we build

  • precision-core: 128-bit decimal arithmetic with 7 rounding modes
  • financial-calc: Interest, time value of money, percentage calculations
  • risk-metrics: Health factors, liquidation thresholds, position analysis
  • keystone-wasm: Browser and Node.js bindings via WebAssembly

Open source

Our core libraries are MIT + Apache 2.0 dual-licensed. We believe financial infrastructure should be auditable, verifiable, and accessible.