Capability

b-posit arithmetic

Suppliers: 1
States & provinces: 1
Countries: 1

1 b-posit arithmetic supplier across 1 states and provinces in 1 country. Profiles show capabilities, materials, certifications, and facility locations so you can compare shops and build a shortlist.

Suppliers

Anomly builds the arithmetic, runtime and receipt format that let anyone prove what an AI computation actually did, on any hardware, after the fact. Its b-posit arithmetic with a 256-bit exact accumulator gives bit-exact results across hardware. INVAR is its open-source, OpenAI-compatible local inference endpoint where every inference writes a re-executable receipt. Founded 2019 in the Washington DC area.

CUDA kernelsdeterministic inferenceexact 256-bit accumulatorformal verificationFPGA implementationre-executable receiptsRTL designsilicon tapeout on 130 nm

Related capabilities

Other processes offered by the shops that list b-posit arithmetic.

CUDA kernels (1)
deterministic inference (1)
exact 256-bit accumulator (1)
formal verification (1)
FPGA implementation (1)
re-executable receipts (1)
RTL design (1)
silicon tapeout on 130 nm (1)

Browse all capabilities

b-posit arithmetic

Suppliers

ANOMLY, LLC

Related capabilities