This isn't a library feature — it's the language's sole numeric type. Every operation on every number in every library inherits this guarantee for free.
What this enables:
- *Quantum circuit verification*: 100 Hadamard gates chained return to identity — exactly. No drift. (Qiskit/Cirq can't pass this test.)
- *Financial calculations*: $0.10 × 10 == $1.00, exact. Ships with a Decimal type for currency-safe arithmetic.
- *Linear regression*: slope of y=2x is 2, not 1.9999999999998.
- *Crypto verification*: Exact BigInt modular arithmetic with secp256k1/P-256/Ed25519 curve parameters.
The language also ships with:
- Python interop (Python.eval("2*10") → 1024)
- Capability-based security (sandbox permissions for safe code execution)
- Refinement types (mark x: num where x > 0 = 42)
- A verification REST API (POST /verify with your expression, get exact result)
- VS Code extension and Jupyter kernel
synchan•1h ago
``` inscribe 0.1 + 0.2 == 0.3 -- true inscribe 1/3 + 1/3 + 1/3 == 1 -- true ```
This isn't a library feature — it's the language's sole numeric type. Every operation on every number in every library inherits this guarantee for free.
What this enables:
- *Quantum circuit verification*: 100 Hadamard gates chained return to identity — exactly. No drift. (Qiskit/Cirq can't pass this test.) - *Financial calculations*: $0.10 × 10 == $1.00, exact. Ships with a Decimal type for currency-safe arithmetic. - *Linear regression*: slope of y=2x is 2, not 1.9999999999998. - *Crypto verification*: Exact BigInt modular arithmetic with secp256k1/P-256/Ed25519 curve parameters.
The language also ships with: - Python interop (Python.eval("2*10") → 1024) - Capability-based security (sandbox permissions for safe code execution) - Refinement types (mark x: num where x > 0 = 42) - A verification REST API (POST /verify with your expression, get exact result) - VS Code extension and Jupyter kernel
534 tests, 0 failures, 42 modules, 25K LOC, Mesopotamian-themed syntax (chisel/tablet/engrave/inscribe).
Try it: `npm install -g cuneicode && cune`
GitHub: https://github.com/sinchancybersecurity/cuneicode