Ternlang is a systems programming language, compiler, and high-performance inference runtime built on balanced ternary logic. We provide a fundamental architectural shift for Explainable AI (XAI) and European technological sovereignty.
Built by RFI-IRFOS · Graz, Austria · Whitepaper [https://osf.io/cyn28/files/8hzux]
- Deterministic Uncertainty: Ternlang's
trit(affirm/tend/reject) provides a first-class routing mechanism for Uncertainty-Aware AI, eliminating "hallucinated confidence." - Sparsity-Aware Inference Engine: Native
@sparseskipoptimization achieves up to 122x throughput gains by bypassing zero-signal (tend) weights at the hardware primitive level. - Explainable AI (XAI) by Design: Every decision is auditable and traceable, fulfilling EU AI Act Articles 13, 14, and 15 mandates for algorithmic transparency and human oversight.
- Post-Binary Systems Architecture: A full-stack ecosystem including a custom Instruction Set Architecture (ISA), triadic networking, and memory-efficient ternary encoding.
The core type is trit: three values — −1 (reject), 0 (hold), +1 (affirm).
The zero state is a first-class routing instruction: "insufficient confidence — do not act yet."
Ternlang provides a machine-readable path to human escalation instead of a forced binary guess. This is the foundation for Post-Binary Intelligence.
→ ternlang-root/README.md (Architecture, Benchmarks, and Spec) → ROADMAP.md (Phases 1–18, session log, priority matrix)
The Ternary Intelligence Stack is built by a core team of three co-founders from RFI-IRFOS, Graz:
- Simeon Kepp: Head of Research & Systems Architect.
- Nikoletta Csonka: Head of Strategic Outreach & EU Relations.
- Zabih Karimi: Principal Network & ML Engineer.
Read our BIO and Mission in LEADERSHIP.md
| Feature | Performance Gain | Industry Comparison |
|---|---|---|
| Ternary Inference | 2.3x (baseline) | Up to 122x at 99%+ Sparsity |
| Data Density | 1.25x improvement | 5-trit block packing (8-bit) |
| Logic Consistency | 100% Deterministic | Eliminates binary timeout/null-guessing |
| Safety Latency | < 1ms hard-veto | Axis-6 Veto Hard Gate |
cargo install ternlang-cliThat's it. The ternlang binary is now in your PATH:
ternlang # → interactive REPL, start typing trit expressions
ternlang my_program.tern # → run a .tern file directly
ternlang run my_program.tern # → same (explicit form)
ternlang build my_program.tern # → compile to .bet bytecode
ternlang fmt my_program.tern # → format source file
ternlang repl # → interactive REPL (explicit)
ternlang test # → run test suiteOr build from source:
git clone https://github.com/eriirfos-eng/ternary-intelligence-stack
cd ternary-intelligence-stack/ternlang-root
cargo build --release
./target/release/ternlang examples/03_rocket_launch.tern| Directory | Contents |
|---|---|
ternlang-root/ |
All Rust crates — compiler, VM, API, MCP server, ML stack |
ternlang-root/stdlib/ |
293 open-core .tern modules (Tier 1 — free) |
ternlang-root/examples/ |
Runnable .tern examples (medical, finance, aerospace, etc.) |
ternlang-root/spec/ |
BET-ISA spec, language reference, grammar, protocol specs |
ternlang-root/ternlang-web/ |
ternlang.com frontend (GitHub Pages) |
eriirfos-eng/ternlang-premium (private) |
28,495+ proprietary .tern modules — Tier 2 / 3 / 4 |
# Health check
curl https://ternlang.com/health
# MoE-13 ternary decision via MCP (no key required)
curl -X POST https://ternlang.com/mcp \
-H "Content-Type: application/json" \
-d '{"jsonrpc":"2.0","id":1,"method":"tools/call","params":{"name":"moe_orchestrate","arguments":{"query":"Should I proceed?"}}}'The standard library is split across two repos to protect paid-tier IP:
- Tier 1 (free): 293 open-core modules in
ternlang-root/stdlib/— clone this repo and use immediately - Tier 2/3/4 (paid): 28,495+ proprietary modules in the private
eriirfos-eng/ternlang-premiumrepo
After purchasing: visit ternlang.com/activate — enter your API key + GitHub username and you'll receive a collaborator invite to the private repo automatically.
| Tier | Price | Details |
|---|---|---|
| Community (LGPL-3.0) | Free | Compiler, VM, CLI, LSP — full open source + 293 stdlib modules |
| Pro Standard (BSL-1.1) | €99/month | 10,000 API calls, MoE-13, 3-layer memory, MCP + Tier 2 stdlib |
| Industrial (BSL-1.1) | €349/month | 50,000 API calls, QNN, SEC, T-HAL, TernAudit + Tier 3 stdlib |
| Enterprise (Proprietary) | From €2,500/month | On-premise, FPGA, custom SLA + full Tier 4 stdlib |
BSL-1.1 crates auto-convert to Apache-2.0 on 2030-04-03.
Commercial licensing: licensing@ternlang.com
RFI-IRFOS (ZVR: 1015608684) · Graz, Austria · EU AI Act Article 13/14 compliant design