#

software-floating-point

Here are 2 public repositories matching this topic...

Dicklesworthstone / toon_bend

Byte-for-byte port of the toon CLI (toon_rust: JSON <-> TOON, the token-efficient format for LLM context) to Bend 2. Golden-tested against the pinned original on 4 executor lanes (interpreter, native C at 1 and N threads, JavaScript), 368 machine-checked laws, a software binary64, zero unsafe.

cli serialization json dependent-types porting formal-verification toon parallel-programming bend differential-testing hvm golden-testing conformance-testing llm software-floating-point bend-lang token-efficiency machine-checked-proofs bend2

Updated Sep 28, 2026
Python

bobford / QR-factorization-extended-precision-arithmetic

QR factorization of complex matrix using software extended precision floating point.

qr-factorization extended-precision complex-matrix software-floating-point

Updated Mar 29, 2023
Java

Add this topic to your repo

To associate your repository with the software-floating-point topic, visit your repo's landing page and select "manage topics."