𒀭 Cuneicode v2.0

Exact rational arithmetic. Quantum computing stdlib. Mesopotamian-themed syntax.

Write Once, Inscribe Forever.

529 tests · 42 modules · 21 namespaces · 210 builtins · 25K LOC · 0 failures

What makes Cuneicode different

Every number is an exact rational — 0.1 + 0.2 == 0.3 is structurally guaranteed, not a convention.

inscribe 0.1 + 0.2 == 0.3    -- true
inscribe 1/3 + 1/3 + 1/3 == 1  -- true

-- Quantum gates compose without drift
inscribe slab_eq(slab_mul(Quantum.H, Quantum.H), slab_identity(2))  -- true

-- Linear regression is exact
inscribe DataSci.linreg([1,2,3,4,5], [2,4,6,8,10]).slope  -- 2

-- FinTech-safe currency arithmetic
mark price = Decimal.new("19.99", 2)
inscribe Decimal.to_currency(price, "$")  -- $19.99

-- Python interop
inscribe Python.eval("2 ** 10")  -- 1024

Install

npm install -g cuneicode

Quick start

cune                            # Interactive REPL (tab completion)
cune file.cune                  # Run a file
cune init my-project            # Create new project
cune api                        # Start verification API
cune test --watch               # Test runner
cune lint file.cune             # Linter
cune bench --compare            # Benchmarks
cune fuzz 1000                  # Fuzzer
cune proptest                   # Property tests
cune profile file.cune          # Profiler

21 namespaces

| Namespace | Description | |-----------|-------------| | Sacred | Mathematical constants (PI, TAU, E, PHI) | | Quantum | Quantum gates, circuits, VQE, QASM | | CryptoVerify | Modular arithmetic, EC curves, Shamir, Schnorr ZK | | DataSci | DataFrame, tensors, linear regression, statistics | | Decimal | Fixed-point currency-safe arithmetic | | Temporal | Instant, Period, DateRange | | Capability | Sandbox permissions and security | | Web | HTTP server, routing, templates, CORS, sessions | | Sys | CRC32, bit fields, struct pack/unpack | | Fs / AsyncIO | File system + async reads | | Net | HTTP client | | Python | eval, exec, call, import | | Crypto | SHA-256/512, HMAC, UUID | | Auto | Glob, tasks, shell, watch | | Embed | Sandbox, inject, eval | | Json / Re / Time | Parse, regex, datetime | | Os / Path / Process | System info, paths, exec | | MathExt | Gamma, erf, factorial |

Type system

mark x: num = 42                    -- basic type
mark y: num | str = "hello"         -- union type
mark z: num where z > 0 = 42       -- refinement type

Editor support

• VS Code: syntax highlighting, LSP, run/format/typecheck commands
• Jupyter: kernel with persistent state and tab completion

Quality

• 529 tests across 5 suites, 0 failures
• Property-based testing (10 core invariants)
• Seeded fuzzer for crash detection
• Flame-graph profiler
• Linter with 6 rules
• Capability-based security model
• GitHub Actions CI (3 OS × 3 Node versions)

License

MIT — Sinchan Cybersecurity